diff options
| -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: |