From d31b2387d328405396785da0c570458dd037009b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 15 Jan 2008 15:57:03 +0000 Subject: Updated. --- COMPATIBILITY | 7 +++---- Makefile | 4 ++-- README | 3 +-- 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: diff --git a/Makefile b/Makefile index f6637625..6d24cefe 100644 --- a/Makefile +++ b/Makefile @@ -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 diff --git a/README b/README index f5d76e36..a04c7346 100644 --- a/README +++ b/README @@ -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 -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") -- cgit v1.2.3