aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-02-23Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2002-02-23This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-02-23X-Symbol version 4.45 betaDavid Aspinall
2002-02-23This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-02-23Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2002-02-23This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-02-23X-Symbol version 4.45 betaDavid Aspinall
2002-02-23This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-02-23Add check for Emacs21.David Aspinall
2002-02-23Bug fix in proof-goto-command-end. Decode x-syms in ↵David Aspinall
pg-insert-output-as-comment.
2002-02-23Simplify enabling tests to just check window-system. Fix ↵David Aspinall
proof-x-symbol-decode-region to return new END value after decoding.
2002-02-23Updates to font-lock handling in proof-fontify-region, ↵David Aspinall
proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
2002-02-23Update X-Sym statusDavid Aspinall
2002-02-14Remove latest-src-rpm linkDavid Aspinall
2002-02-14Updated.David Aspinall
2002-02-14Set version tag for new release.David Aspinall
2002-02-12option -g GEOMETRY;Makarius Wenzel
2002-02-12observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;Makarius Wenzel
2002-02-12added isar-undo-ignore-regexp;Makarius Wenzel
2002-02-08more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;Makarius Wenzel
2002-01-31Updated.David Aspinall
2002-01-31Fix more broken front page linksDavid Aspinall
2002-01-31Update for recent releases.David Aspinall
2002-01-31Updated.David Aspinall
2002-01-31Simplify fix for repeated comments (commentre includes whitespace).David Aspinall
2002-01-31Updated.David Aspinall
2002-01-31Set version tag for new release.David Aspinall
2002-01-31Tweak commentDavid Aspinall
2002-01-31Fix problem noticed with Isar and repeated comments.David Aspinall
2002-01-31New files.David Aspinall
2002-01-26tuned comment;Makarius Wenzel
2002-01-21full-proofs setting;Makarius Wenzel
2002-01-21Isabelle2002 instead of Isabelle2001;Makarius Wenzel
2002-01-17*** empty log message ***Christophe Raffalli
2002-01-16Updated.David Aspinall
2002-01-16Set version tag for new release.David Aspinall
2002-01-16WhitespaceDavid Aspinall
2002-01-16CommentsDavid Aspinall
2002-01-16Also bury trace bufferDavid Aspinall
2002-01-16WhitespaceDavid Aspinall
2002-01-16Only create trace buffer if liable to be used. Remove experimental ↵David Aspinall
spill-output style tracing code.
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2002-01-16FSF Emacs -> GNU EmacsDavid Aspinall
2002-01-16Document the tracing buffer; FSF Emacs -> GNU EmacsDavid Aspinall
2002-01-15Also put trace buffer in x sym modeDavid Aspinall
2002-01-15Updated.David Aspinall
2002-01-15Remove defunct codeDavid Aspinall
2002-01-15Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 10:15:41 +0000