aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-03-21Set version tag for new release.David Aspinall
2002-03-21Revert accidental commit by crrDavid Aspinall
2002-03-21Updated.David Aspinall
2002-03-21Year changesDavid Aspinall
2002-03-21Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-befo...David Aspinall
2002-03-21Dont set type property for proof elements (experiment). Tweak name determina...David Aspinall
2002-03-21Added activations for frame/window controls.David Aspinall
2002-03-21Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.David Aspinall
2002-03-21Added emultation of display-graphic-p for XEmacsDavid Aspinall
2002-03-21Add header to XML docsDavid Aspinall
2002-03-21New files.David Aspinall
2002-03-21Document some new settingsDavid Aspinall
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-03-18This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-03-18Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2002-03-18This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-03-18X-Symbol version 4.45 betaDavid Aspinall
2002-03-12This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-03-12X-Symbol version 4.45 betaDavid Aspinall
2002-03-05*** empty log message ***Christophe Raffalli
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
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
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
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
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
2002-02-23Add check for Emacs21.David Aspinall
2002-02-23Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm...David Aspinall
2002-02-23Simplify enabling tests to just check window-system. Fix proof-x-symbol-deco...David Aspinall
2002-02-23Updates to font-lock handling in proof-fontify-region, proof-font-lock-clear-...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 08:40:39 +0000