aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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-07X-Symbol version 4.45 betaDavid Aspinall
2001-01-07This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2001-01-07Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2001-01-07This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
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
more robust \<^sync>;
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
2000-12-21.phox -> .phxDavid Aspinall
2000-12-21Renamed fileDavid Aspinall
2000-12-20Updated.David Aspinall
2000-12-20Fix magicDavid Aspinall
2000-12-20Fix comment to not break texi magicDavid Aspinall
2000-12-20More broken escapes.David Aspinall
2000-12-20Set version tag for new release.David Aspinall
2000-12-20Mentioned important changesDavid Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-12-20Experimental support for multiple file handling.David Aspinall
'goalsave -> 'proof
2000-12-20Document proof-shell-last-output and friendsDavid Aspinall
2000-12-20Renamed fileDavid Aspinall
2000-12-20Testing line for PGIP.David Aspinall
2000-12-20Improvements to span handling, including new variables: ↵David Aspinall
proof-shell-last-output-kind and friends
2000-12-20Improvements to span handlingDavid Aspinall
2000-12-19*** empty log message ***Christophe Raffalli
2000-12-15Updated.David Aspinall
2000-12-15rename af2 -> PhoxDavid Aspinall
2000-12-15Set version tag for new release.David Aspinall
2000-12-15tuned some (rarely used) symbols;Makarius Wenzel
2000-12-14Remove some user-level functions to pg-user.David Aspinall
Fix bug in proof-goto-end-of-locked.
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 17:01:09 +0000