diff options
| -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 |