diff options
| author | David Aspinall | 2000-10-18 13:25:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-10-18 13:25:09 +0000 |
| commit | f50707ec27dd8bc246225c2511eb80ae2dc40600 (patch) | |
| tree | 2d560a11860076bdbfda0b723ef683a33f57a5c2 /ChangeLog | |
| parent | e99b71d5108264cf64d1145a83d13ee3e156060c (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 33 |
1 files changed, 33 insertions, 0 deletions
@@ -1,3 +1,36 @@ +2000-10-18 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, html/devel.html, html/develdownload.html, generic/proof-site.el: + Set version tag for new release. + + * html/register.html: Fix parse error. + +2000-10-14 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isa/x-symbol-isabelle.el: + parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e); + +2000-10-12 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isa/x-symbol-isabelle.el: + support for super- and subscripts (still needs proper per-prover + control of x-symbol-subscripts variable); + +2000-10-03 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, html/devel.html, html/develdownload.html, generic/proof-site.el: + Set version tag for new release. + + * html/download.html: + Apparently X-Sym web pages have simpler install instructions now. + +2000-10-02 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isa/isabelle-system.el: + added settings: eta-contract, goals-limit, prems-limit; + 2000-10-03 David Aspinall <da@proofgeneral.org> * etc/ProofGeneral.spec, html/devel.html, html/develdownload.html, generic/proof-site.el: |