diff options
-rw-r--r-- | COMPATIBILITY | 7 | ||||
-rw-r--r-- | Makefile | 4 | ||||
-rw-r--r-- | README | 3 | ||||
-rw-r--r-- | acl2/root2.acl2 | 3 |
4 files changed, 8 insertions, 9 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index 83ab1e99..79cf6dd7 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -4,9 +4,9 @@ Compatibility of Proof General This version of Proof General has been tested with these Emacs versions on Linux: - Emacs 22.1.1 -- recommended - XEmacs 21.4.XX -- stable, but not recently tested - XEmacs 21.5 (beta28) -- tested, has patches for several XEmacs bugs + Emacs 22.1.1 -- recommended + XEmacs 21.4.XX -- stable, but not recently tested + XEmacs 21.5 (beta28) -- tested, PG has workarounds for several bugs and prover versions: @@ -20,7 +20,6 @@ wiki page to check on others experience and report your own: http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsCompatibility - Backward compatibility and version-specific Emacs patches makes the code into a bad mess. Some compatibility has been removed here, specifically affecting: @@ -34,9 +34,9 @@ ELISP_DIRS=${PROVERS} ${OTHER_ELISP} ELISP_EXTRAS=isar/interface isar/isartags EXTRA_DIRS = images x-symbol -DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README.* REGISTER doc/*.pdf +DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER doc/*.pdf DOC_EXAMPLES=acl2/*.acl2 hol98/*.sml isar/*.thy lclam/*.lcm lego/*.l pgshell/*.pgsh phox/*.phx plastic/*.lf twelf/*.elf -DOC_SUBDIRS=${DOC_EXAMPLES} */README.* */CHANGES */BUGS +DOC_SUBDIRS=${DOC_EXAMPLES} */README* */CHANGES */BUGS BATCHEMACS=${EMACS} --batch --no-site-file -q @@ -8,7 +8,6 @@ The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. See - INSTALL for installation details. COPYING for license details. COMPATIBILITY for version compatibility information. @@ -53,4 +52,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> -June 2007. +January 2008. diff --git a/acl2/root2.acl2 b/acl2/root2.acl2 index f93d688b..c60d05ed 100644 --- a/acl2/root2.acl2 +++ b/acl2/root2.acl2 @@ -1,4 +1,5 @@ -(* Example proof by Ruben Gamboa. See http://www.cs.kun.nl/~freek/comparison/ *) +(* Example proof by Ruben Gamboa. + See http://www.cs.kun.nl/~freek/comparison/ *) (in-package "ACL2") |