From 8f4b27e08c72ad3887811f9dd2349f924f0e7491 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 17 Dec 1998 10:49:23 +0000 Subject: Added Latest news section to preface to point to home page. --- doc/ProofGeneral.texi | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 43daa71c..4f20ae73 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -155,6 +155,7 @@ Isabelle. @menu * Credits:: * History:: +* Latest news:: @end menu @node Credits @@ -220,6 +221,7 @@ proof scripts in one buffer. Support was provided to automatically send parts of the script to the proof process. The last official version with the name @code{lego-mode} (1.9) was released in May 1995. + @cindex proof by pointing @cindex CtCoq @cindex Centaur @@ -270,6 +272,18 @@ some images and a toolbar. Proof General 2.0 is the first official release, ready to conquer the world. Why not adapt Proof General to your favourite proof system? +@node Latest news +@unnumberedsec Latest news +@cindex news + +Proof General has its own +@uref{http://www.dcs.ed.ac.uk/home/proofgen,home page} hosted at +Edinburgh. Visit this page for the latest news! + + + + + -- cgit v1.2.3