blob: c82227e9a4a982402fac9a8747225ba23c4e9e71 (
plain) (
tree)
|
|
-------------------------------------------------------------------------------
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")
------------------------------------------------------------------------------
|
