From 6aac10597727b318013634b800cb590734a70a0c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 3 Mar 2003 21:48:49 +0000 Subject: Updated. --- README | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README b/README index 53eeb8f0..244340da 100644 --- a/README +++ b/README @@ -1,5 +1,5 @@ -Proof General --- Organize your proofs! -======================================= +Proof General --- Organize your proofs! [www.proofgeneral.org] +================================================================= Proof General is a generic Emacs interface for proof assistants. @@ -22,8 +22,8 @@ See INSTALL for installation details. FAQ, doc/ for documentation of Proof General. See http://www.proofgeneral.org/mailinglist for the Proof General -mailing lists. If you have problems, please contact -support@proofgeneral.org in the first instance. +mailing lists. If you have problems, please contact +support@proofgeneral.org after checking the BUGS and CHANGES files. For notes on the supported assistants, see the README files in the subdirectories: @@ -50,7 +50,7 @@ For the latest news and downloads, visit Proof General on the web at: http://www.proofgeneral.org David Aspinall -August 2002. +March 2003. ----- -- cgit v1.2.3