aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-06-08Tweak liveness testDavid Aspinall
2002-06-08Alter orderDavid Aspinall
2002-06-08Fix keysym to use FSF syntaxDavid Aspinall
2002-06-08Set version tag for new release.David Aspinall
2002-06-07This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-06-07X-Symbol version 4.45 betaDavid Aspinall
2002-06-07This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-06-07X-Symbol version 4.45 betaDavid Aspinall
2002-06-05Add types_code and friendsDavid Aspinall
2002-05-29Made a negative test to compute the number of "Back n" inPierre Courtieu
2002-05-29Modification of the coq-find-and-forget function, in order to use thePierre Courtieu
2002-05-29Added some new tactic namesPierre Courtieu
2002-05-21Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)David Aspinall
2002-05-13updated URLxsymbol (unused);Makarius Wenzel
2002-05-10tuned isar-strip-terminators;Makarius Wenzel
2002-05-03fixed spelling;Makarius Wenzel
2002-05-03tuned comment;Makarius Wenzel
2002-05-03tuned proof-next-error setup;Makarius Wenzel
2002-05-03Updated.David Aspinall
2002-05-03Set version tag for new release.David Aspinall
2002-05-03New files.David Aspinall
2002-05-03Fix X-symbol URLDavid Aspinall
2002-05-03Fix font lock for E21 (I hope)David Aspinall
2002-05-03Try to support next-error key binding for both Emacs versions.David Aspinall
2002-05-03Reflect change in load orderDavid Aspinall
2002-05-03UpdatesDavid Aspinall
2002-05-03Fix loading order to load Isar before IsaDavid Aspinall
2002-05-03Added support for proof-shell-next-errorDavid Aspinall
2002-05-03Add support for proof-next-error.David Aspinall
2002-05-03Craftily set experimental fetures on for devel release.David Aspinall
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
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
2002-04-16This commit was manufactured by cvs2git to create branch 'xsym'.cvs2git
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
2002-03-22Updated.David Aspinall
2002-03-22Updated.David Aspinall
2002-03-22Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 21:27:46 +0000