diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 10:49:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 10:49:23 +0000 |
| commit | 8f4b27e08c72ad3887811f9dd2349f924f0e7491 (patch) | |
| tree | 709ef28370275681eebc4be8ebb85aef8af9f730 /doc | |
| parent | 612e40c64de862e0c98e645f15de1b342b76f9fa (diff) | |
Added Latest news section to preface to point to home page.
Diffstat (limited to 'doc')
| -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! + + + + + |