diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-24 10:21:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-24 10:21:28 +0000 |
| commit | 49a1aaee705511633629709681b2fb1a7253eb05 (patch) | |
| tree | 991a2102d1e211c1735d759c2b7eebb4c7d3f56d /CHANGES | |
| parent | 5827904e879e4880cc5eb67238c309e57d37cc39 (diff) | |
Devel release is tweaked 3.3
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,6 +1,7 @@ -*- outline -*- -[ Changes file for 3.3 below. NO CHANGES yet in this devel release ] +[ Temporarily: this devel release is currently a bug fix / tweaked + version of 3.3, which will be wrapped back into a patched 3.3 shortly. ] * Summary of Changes for Proof General 3.3 from 3.2 @@ -122,6 +123,8 @@ This functionality is enabled with the Coq settings option "Auto Compile Vos". + Whole goals output is displayed. (Improvement suggested by + Robert Schneck). ** Isabelle Changes |