From f50707ec27dd8bc246225c2511eb80ae2dc40600 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 18 Oct 2000 13:25:09 +0000 Subject: Updated. --- ChangeLog | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/ChangeLog b/ChangeLog index 71a4d366..72954761 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,36 @@ +2000-10-18 David Aspinall + + * 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 + + * isa/x-symbol-isabelle.el: + parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e); + +2000-10-12 Markus Wenzel + + * 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 + + * 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 + + * isa/isabelle-system.el: + added settings: eta-contract, goals-limit, prems-limit; + 2000-10-03 David Aspinall * etc/ProofGeneral.spec, html/devel.html, html/develdownload.html, generic/proof-site.el: -- cgit v1.2.3