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