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