diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-01-11 16:45:15 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-01-11 16:45:15 +0000 |
commit | ee7421cac1a96ac7d4d931d4021be6d15516e814 (patch) | |
tree | c7a8ecd4a2eb3a88ac9d17a599b74a1f16d7bb93 /CHANGES | |
parent | 09c8d6507883c960faffa13ce14f85233aa0c7c7 (diff) |
Fix number
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ --- some features may be incomplete or buggy. Please --- --- report any problems to da@dcs.ed.ac.uk, thanks. --- -* Summary of Changes for Proof General 3.4pre from 3.2 +* Summary of Changes for Proof General 3.4pre from 3.3 ** Generic Changes |