Skip to content
Permalink
Browse files

Documentation for Emacs mode installation.

  • Loading branch information...
rlepigre committed Mar 13, 2019
1 parent e9536ae commit 1d517e2b9e01714857c5e331607059d88fe9af07
Showing with 12 additions and 2 deletions.
  1. +12 −2 README.md
@@ -72,8 +72,8 @@ The directories `tmp` and `attic` are not relevant as the contain files used
for debugging the newest features including termination checking and old code
that we want to keep somewhere.

Editor setup: Vim / Neovim
--------------------------
Support for the Vim (or Neovim) editor
--------------------------------------

After installing PML (with `make install`), you will need to add the
following lines to you `.vimrc` file (if they are not already present).
@@ -89,6 +89,16 @@ following line.
filetype plugin indent on
```

Support for the Emacs editor
----------------------------

After installing PML (with `make install`), you will need to add the
following lines to you `.emacs` file.
```elisp
;; PML stuff
(load "pml-mode")
```

Where to start in the code
--------------------------

0 comments on commit 1d517e2

Please sign in to comment.
You can’t perform that action at this time.