|
| From: | Drew Adams |
| Subject: | RE: Trying to install the emacs mode for lean theorem prover |
| Date: | Tue, 19 Dec 2017 09:02:36 -0800 (PST) |
> Perhaps this puts you on the right track: > https://stackoverflow.com/questions/27869909/what-to-do-if-i-cannot- > find-my-emacs-init-file Or ask Emacs: `C-h r i init file RET'. See node `Find Init' of the Emacs manual. https://www.gnu.org/software/emacs/manual/html_node/emacs/Find-Init.html
| [Prev in Thread] | Current Thread | [Next in Thread] |