Download the Lean zip file for Windows, and unfold it in a directory of your choice.
Configuring Lean emacs mode
Python need to be added to your
Win+Pauseto open System Properties.
- Under Windows 7 or newer, click on Advanced system settings.
- Click on Environment Variables….
- Under System Variables find
Paththen choose to Edit….
Assuming Emacs and Python 2.7 have been installed at their default
locations, append the following to the end of the path (include the
; only if not already present):
If you installed Python 3.5 and checked the option to add Python to the system path, you only need to add Emacs.
Starting Lean Emacs mode
Python have been added to your
You can start the Lean emacs mode by executing the
Advanced users can configure their
.emacs initialization file using