Leni Ven 6c8032c3e1 Add Lean 4 indentation hook and IME toggle <f12>		2023-05-03 13:31:08 -07:00
..
.gitignore	Fix config problem that prevented tangling and .gitignore	2023-02-05 01:49:57 -08:00
banner.txt	Put banner into its own file and change banner	2023-03-25 00:03:56 -07:00
config.org	Add Lean 4 indentation hook and IME toggle <f12>	2023-05-03 13:31:08 -07:00
init.el	Add Lean 4 indentation hook and IME toggle <f12>	2023-05-03 13:31:08 -07:00