aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-05-03Began adding generic line-width adjustDavid Aspinall
2002-04-24Remove indentsDavid Aspinall
2002-04-24Updated list of SML keywordsDavid Aspinall
2002-04-23Updated.David Aspinall
2002-04-23Set version tag for new release.David Aspinall
2002-04-23Fix URL for X-symbolDavid Aspinall
2002-04-23UpdatedDavid Aspinall
2002-04-23Add syntax highlighting cahanges from Lucas DixonDavid Aspinall
2002-04-23Fix for E21 with isa-pre-shell-start.David Aspinall
2002-04-22X-Symbol version 4.45 betaDavid Aspinall
2002-04-22This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-04-16X-Symbol version 4.45 betaDavid Aspinall
2002-04-16This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-04-16This commit was manufactured by cvs2git to create branch 'xsym'.cvs2git
Cherrypick from master 2002-04-16 13:38:30 UTC David Aspinall <da@inf.ed.ac.uk> 'Initial revision': x-symbol/lisp/Makefile
2002-04-16Initial revisionDavid Aspinall
2002-04-16X-Symbol version 4.45 betaDavid Aspinall
2002-04-16This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-03-22Updated.David Aspinall
2002-03-22Updated.David Aspinall
2002-03-22Set version tag for new release.David Aspinall
2002-03-21*** empty log message ***Christophe Raffalli
2002-03-21Updated.David Aspinall
2002-03-21Improvement to ACL2David Aspinall
2002-03-21Greatly improved support.David Aspinall
2002-03-21TypoDavid Aspinall
2002-03-21No longer recommend XEmacs exclusively.David Aspinall
2002-03-21FSF -> GNUDavid Aspinall
2002-03-21Updated.David Aspinall
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 ↵David Aspinall
proof-shell-truncate-before-error setting.
2002-03-21Dont set type property for proof elements (experiment). Tweak name ↵David Aspinall
determination/reporting. Provide generic implementation of find-and-forget. Dont warn about some unnecessary settings
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-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
branch.
2002-03-18X-Symbol version 4.45 betaDavid Aspinall
2002-03-18This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-03-12X-Symbol version 4.45 betaDavid Aspinall
2002-03-12This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
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
branch.
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 08:14:20 +0000