diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 16:53:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 16:53:50 +0000 |
| commit | 7c0b21aa8225cdf4543695f7a0f85ff526ff8e4e (patch) | |
| tree | 69b65b92e7433847eadf2cd57ffe009526aa3ce0 /etc/announce | |
| parent | 8f4b27e08c72ad3887811f9dd2349f924f0e7491 (diff) | |
Fixed web address for documentation.
Diffstat (limited to 'etc/announce')
| -rw-r--r-- | etc/announce | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/etc/announce b/etc/announce index 747391c7..8325e6c0 100644 --- a/etc/announce +++ b/etc/announce @@ -62,8 +62,10 @@ Isabelle. It includes these features (amongst others): Script management is the main feature. -See http://www.dcs.ed.ac.uk/proofgen/ProofGeneral/ProofGeneral.html -for the user manual which contains full details. + +The user manual contains full details, and is available on-line at: +http://www.dcs.ed.ac.uk/~proofgen/ProofGeneral/doc/ProofGeneral_toc.html + The rest of this announcement contains notes addressed to different user communities: LEGO, Coq, and Isabelle; users of other proof |