From 16d32d88b71658e20b1ee18abae1f2a30931a282 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 29 Feb 2004 23:47:43 +0000 Subject: Update. --- README | 30 ++++++++++++++---------------- 1 file changed, 14 insertions(+), 16 deletions(-) diff --git a/README b/README index 97b4186a..e030ffc2 100644 --- a/README +++ b/README @@ -1,16 +1,17 @@ Proof General --- Organize your proofs! [proofgeneral.inf.ed.ac.uk] -==================================================================== - - IMPORTANT NOTE: Please note that proofgeneral.org is no longer owned - by the Proof General project; please update your links to use the - new web address http://proofgeneral.inf.ed.ac.uk. - Report bugs, feedback, suggestions directly to me. It helps if you - use an appropriate +-extension to my mail address, e.g. - - David Aspinall - -==================================================================== +========================================================================= +| | +| IMPORTANT NOTE: Please note that proofgeneral.org is no longer owned | +| by the Proof General project; please update your links to use the | +| new web address http://proofgeneral.inf.ed.ac.uk. | +| | +| Report bugs, feedback, suggestions directly to me. It helps if you | +| use one of the suggested + extensions to my mail address, e.g. | +| | +| David Aspinall | +| | +========================================================================= Proof General is a generic Emacs interface for proof assistants. @@ -49,7 +50,7 @@ in the subdirectories: lego/ LEGO plastic/ Plastic twelf/ Twelf - pgkit/ PG Kit [ in development release only ] + pgkit/ PG Kit generic/ Generic basis for Proof General @@ -61,7 +62,4 @@ For the latest news and downloads, visit Proof General on the web at: http://proofgeneral.inf.ed.ac.uk David Aspinall -February 2004. - ------ - +March 2004. -- cgit v1.2.3