diff options
| author | David Aspinall | 2001-01-05 13:03:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-01-05 13:03:03 +0000 |
| commit | 75e34d6b959161bfa49fb11dd3d596de89a28c6c (patch) | |
| tree | a2977ecd5ec97f2e2db76b9c604227974d89d8df /ChangeLog | |
| parent | fa1f90a41608965f2a2a09273d5cf2669a6820e6 (diff) | |
Updated.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 72 |
1 files changed, 72 insertions, 0 deletions
@@ -1,3 +1,75 @@ +2001-01-05 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.html, html/devel.html: + Set version tag for new release. + +2001-01-03 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isar/isar-keywords.el: + added "recdef_tc"; + +2000-12-28 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isar/isar.el: + include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers; + more robust \<^sync>; + + * isar/isar-syntax.el: + improved isar-string regexp; + + * isa/x-symbol-isabelle.el: + x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable); + +2000-12-23 Markus Wenzel <wenzelm@informatik.tu-muenchen.de> + + * isar/isar-syntax.el: tuned font lock; + +2000-12-22 David Aspinall <da@proofgeneral.org> + + * etc/ProofGeneral.spec, html/develdownload.html, html/devel.html, generic/proof-site.el: + Set version tag for new release. + +2000-12-22 Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> + + * phox/phox.el: + *** empty log message *** + +2000-12-22 David Aspinall <da@proofgeneral.org> + + * generic/proof-script.el: + Removed accidently committed debugging code + +2000-12-22 Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> + + * phox/phox.el, phox/example.phx, phox/phox-font.el, generic/proof-script.el: + *** empty log message *** + +2000-12-21 Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> + + * phox/phox.el: + *** empty log message *** + +2000-12-21 David Aspinall <da@proofgeneral.org> + + * phox/phox-fun.el: 'goalsave -> 'proof + +2000-12-21 Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> + + * phox/phox.el, phox/phox-font.el, phox/phox-fun.el: + *** empty log message *** + +2000-12-21 David Aspinall <da@proofgeneral.org> + + * ChangeLog: Updated. + + * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.html, html/devel.html: + Set version tag for new release. + + * etc/ProofGeneral.spec: .phox -> .phx + + * phox/example.af2, phox/example.phx: + Renamed file + 2000-12-21 David Aspinall <da@proofgeneral.org> * etc/ProofGeneral.spec, generic/proof-site.el, html/develdownload.html, html/devel.html: |