diff options
| -rw-r--r-- | CHANGES | 9 |
1 files changed, 1 insertions, 8 deletions
@@ -1,13 +1,6 @@ -*- outline -*- ---- This is a development release of Proof General, --- ---- some features may be incomplete or buggy. Please --- ---- report any problems to da@dcs.ed.ac.uk, thanks. --- ---- Check the files BUGS and <prover>/BUGS first. --- - ---- ID: $Id$ --- - -* Summary of Changes for Proof General 3.4pre from 3.3 +* Summary of Changes for Proof General 3.4 from 3.3 ** Generic Changes |