aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-08*** empty log message ***Christophe Raffalli
2001-02-07Updated.David Aspinall
2001-02-07Set version tag for new release.David Aspinall
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-06Set version tag for new release.David Aspinall
2001-02-02*** empty log message ***Christophe Raffalli
2001-02-01updated thms_containing;Makarius Wenzel
2001-02-01*** empty log message ***Christophe Raffalli
2001-02-01*** empty log message ***Christophe Raffalli
2001-01-24renamed \<ll> to \<lless> and \<gg> to \<ggreater>;Makarius Wenzel
2001-01-18proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;Makarius Wenzel
2001-01-18*** empty log message ***Christophe Raffalli
2001-01-12proof-string-match;Makarius Wenzel
2001-01-12Updated.David Aspinall
2001-01-12Updated.David Aspinall
2001-01-12Updated.David Aspinall
2001-01-12Fix loading thy mode fist problem: require proof-script since contextDavid Aspinall
2001-01-12proof-string-match;Makarius Wenzel
2001-01-12Updated.David Aspinall
2001-01-12Set version tag for new release.David Aspinall
2001-01-11*** empty log message ***Christophe Raffalli
2001-01-11fixed format strings in message, error, etc.Makarius Wenzel
2001-01-10proper font-lock of isar-keywords-proof-heading;Makarius Wenzel
2001-01-10added \<wrong>;Makarius Wenzel
2001-01-09added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;Makarius Wenzel
2001-01-07This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2001-01-07X-Symbol version 4.45 betaDavid Aspinall
2001-01-07This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2001-01-07Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2001-01-05Updated.David Aspinall
2001-01-05Set version tag for new release.David Aspinall
2001-01-03added "recdef_tc";Makarius Wenzel
2000-12-28include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers;Makarius Wenzel
2000-12-28improved isar-string regexp;Makarius Wenzel
2000-12-28x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);Makarius Wenzel
2000-12-23tuned font lock;Makarius Wenzel
2000-12-22Set version tag for new release.David Aspinall
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22Removed accidently committed debugging codeDavid Aspinall
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-21*** empty log message ***Christophe Raffalli
2000-12-21'goalsave -> 'proofDavid Aspinall
2000-12-21*** empty log message ***Christophe Raffalli
2000-12-21Updated.David Aspinall
2000-12-21Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 19:49:05 +0000