diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-12-10 15:09:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-12-10 15:09:03 +0000 |
| commit | 6eb1620ab6d83f3b4a2dbd3209ea2d89e3cb3c1b (patch) | |
| tree | 357d75a6d3ca1d4b477ff5c0a4b5c6629c94537f /README | |
| parent | 30275f135197cf299438891cac1fbd34c74b4267 (diff) | |
Update date
Diffstat (limited to 'README')
| -rw-r--r-- | README | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -4,11 +4,12 @@ Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. -This is version 4.0 of Proof General. See About for exact version. +This is version 4.1 of Proof General. See About for exact version. +It is built for Emacs 23.2. -It is built for Emacs 23. The code *may* also work with Emacs 22.3, -but you will need to regenerated the byte-compiled files with "make -clean; make compile". Backward compatibility cannot be guaranteed. +The code *may* also work with Emacs 22.3, but you will need to +regenerated the byte-compiled files with "make clean; make compile". +Backward compatibility cannot be guaranteed. See INSTALL for installation details. @@ -43,4 +44,4 @@ For the latest news and downloads, visit Proof General on the web at: http://proofgeneral.inf.ed.ac.uk David Aspinall <da+pg-feedback@inf.ed.ac.uk> -October 2010. +December 2010. |