diff options
| author | David Aspinall | 2001-10-04 10:33:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-10-04 10:33:41 +0000 |
| commit | 86ec79269e280c40c5ec9c4aa477d7ff8bd29bf6 (patch) | |
| tree | 4a7e14329261de543617707d8bb6e4c8079ec5ee /CHANGES | |
| parent | 2c0082d3738333458c24227286ab98be2606ec65 (diff) | |
Remove note for devel
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -1,8 +1,5 @@ -*- outline -*- -[ 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 ** Generic Changes |