blob: 9dd8deca888703b281f5e9b16f6d5ec7e58dd893 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
-------------------------------------------------------------------------------
Please register your interest in this software before use:
http://proofgeneral.inf.ed.ac.uk/register
To load Proof General automatically when starting x/emacs, add the following
line to the .emacs or .xemacs/init.el file:
(load-file "%%PREFIX%%/%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-site.el")
------------------------------------------------------------------------------
|
