diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:03:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:03:40 +0000 |
| commit | 9284029abc588c4a0d9b51deb5462bb1e362af76 (patch) | |
| tree | da9da1dd7b302b793b3f39ef973fc80731bf10c3 /etc | |
| parent | cef0b539c86f81e1bbb35ad1bcb35c91df6daaa6 (diff) | |
Update with date/version.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/announce b/etc/announce index cb8f3c05..e683608a 100644 --- a/etc/announce +++ b/etc/announce @@ -1,4 +1,4 @@ - Announcing Proof General Version 3.5 + Announcing Proof General Version 3.5.1 A Generic Emacs interface for Interactive Proof Assistants http://proofgeneral.inf.ed.ac.uk @@ -48,4 +48,4 @@ Other recent versions of either Emacs may work but are not guaranteed. Installing Proof General is easy. Why not give it a try? - David Aspinall. - April 2004. + May 2004. |