From 6eb1620ab6d83f3b4a2dbd3209ea2d89e3cb3c1b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 10 Dec 2010 15:09:03 +0000 Subject: Update date --- README | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'README') diff --git a/README b/README index 744eb3b8..3809498c 100644 --- a/README +++ b/README @@ -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 -October 2010. +December 2010. -- cgit v1.2.3