diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-02-28 12:18:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-02-28 12:18:58 +0000 |
| commit | e39eff792f0976cce529bb872ee0d21de5de2417 (patch) | |
| tree | a200e7f072e63222969789ee037402c9cfdf43ea /CHANGES | |
| parent | 5a01980a73b57b0d3ede522fa2a6fc931ccd0cdb (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ See also etc/release-log.txt for minor patches. -* Summary of Changes for Proof General 3.6 from 3.5 +* Summary of Changes for Proof General 3.7 from 3.5 (via many 3.6preXXXX) ** Generic changes |