tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Indicate how to load ProofGeneral in .emacs.

Browse source
This commit is contained in:
François Pottier 2017-09-21 22:09:04 +02:00
parent 09761828fc
commit cb1a56bbda
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
README.md
View file

@ -185,6 +185,13 @@ sudo rm -rf $TARGET
sudo mv /tmp/PG $TARGET sudo mv /tmp/PG $TARGET
``` ```
Enable ProofGeneral by adding the following line to your `.emacs` file:
```elisp
(load-file "/usr/local/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")
```
If desired, ProofGeneral can be further
[customized](https://proofgeneral.github.io/doc/userman/ProofGeneral_9/).
## Bibliography ## Bibliography
[Types and Programming Languages](https://mitpress.mit.edu/books/types-and-programming-languages), [Types and Programming Languages](https://mitpress.mit.edu/books/types-and-programming-languages),