diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 14 |
1 files changed, 14 insertions, 0 deletions
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! + + + + + |