diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-12 14:55:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-12 14:55:43 +0000 |
| commit | 97d0b0f77291ae0db764c83955b98df937dab8ad (patch) | |
| tree | 2582942969f0893c727c590000f32df66166cb89 /ChangeLog | |
| parent | 0932f2f75192d43c2484687b01b0ab8a6b7ffa4f (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 85 |
1 files changed, 85 insertions, 0 deletions
@@ -1,3 +1,88 @@ +2002-08-12 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: + Set version tag for new release. + + * doc/ProofGeneral.texi: + Tweak Pierres docs + + * README.exper: Note about exper bugs + + * generic/span.el, generic/span-extent.el, generic/span-overlay.el: + Abstract more functions from concrete cases. + + * generic/proof-utils.el: + Patch for XEmacs 20.4 compat [incomplete?]. + + * generic/proof-config.el: Docstring + + * generic/texi-docstring-magic.el: Note + + * generic/pg-user.el: + Fix for moving span duplicable prob. Still not really working + + * doc/PG-adapting.texi: Update magic + + * doc/ProofGeneral.texi: + Document experimental features; update other descriptions. + + * generic/proof-config.el: Docstring + + * html/eeproof.php: New files. + + * html/eeproof, html/eproofe: + Renamed file + + * isar/Example.thy: + Remove comment at the end testing feature. See etc/isar/Parsing.thy instead. + + * README.exper: + Describe variable highlighting + + * isar/isar.el, isa/isa.el: + Enable variable highlighting in case experimental features enabled. + + * isa/README, isar/README: + Updated + +2002-08-09 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.php, html/devel.html: + Set version tag for new release. + + * generic/proof-script.el: Doc + + * doc/ProofGeneral.texi: + Doc comments also under vis control + + * CHANGES: Updated. + + * etc/isa/completed-proof.ML: + New files. + + * generic/proof-script.el: + Fix proof-disappearing-proofs; comments + + * generic/proof-config.el, generic/proof-script.el: + Refactor proof-done-advancing by abstracting out new functions; fixes for autosave case. + + * generic/proof-toolbar.el, generic/proof-config.el: + Add menu entry for toggling visibility + + * generic/span.el: + Add span-property-safe + + * REGISTER: Updated. + + * etc/isar/Parsing.thy: More comments + + * etc/isar/new-parsing-test.el: + New files. + + * isar/test.el: Deleted file + 2002-08-09 David Aspinall <da@proofgeneral.org> * ChangeLog: Updated. |