aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-06-11New files.David Aspinall
2002-06-08Mention not supporting E21David Aspinall
2002-06-08Updated.David Aspinall
2002-06-08Add install for isartagsDavid Aspinall
2002-06-08Updated.David Aspinall
2002-06-08Fix bug in string syntax in isar-strip-terminators: did this work correctly ↵David Aspinall
before?
2002-06-08Clean up span.el loading; make compat with bbdb.el in FSFDavid Aspinall
2002-06-08Clean up span.el loadingDavid Aspinall
2002-06-08Updated.David Aspinall
2002-06-08UpdatesDavid Aspinall
2002-06-08Remove duplicateDavid Aspinall
2002-06-08Add isartagsDavid Aspinall
2002-06-08Program [broken]David Aspinall
2002-06-08Update magicDavid Aspinall
2002-06-08Default to /usr/bin/perlDavid Aspinall
2002-06-08Note about removing dirsDavid Aspinall
2002-06-08Remove PGK mention, other obs projectsDavid Aspinall
2002-06-08Updated.David Aspinall
2002-06-08Robustness fixes/bug notesDavid Aspinall
2002-06-08SpacingDavid Aspinall
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-07X-Symbol version 4.45 betaDavid Aspinall
2002-06-07This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
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
branch.
2002-06-05Add types_code and friendsDavid Aspinall
2002-05-29Made a negative test to compute the number of "Back n" inPierre Courtieu
coq-find-and-forget.
2002-05-29Modification of the coq-find-and-forget function, in order to use thePierre Courtieu
new "Back n." command of coq to make the syncronization better. Seems to work, need to test.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 00:36:03 +0000