aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-11-07Updated.David Aspinall
2002-10-29X-Symbol version 4.45 betaDavid Aspinall
2002-10-29This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-10-29X-Symbol version 4.45 betaDavid Aspinall
2002-10-29This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-10-22Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2002-10-22This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-10-22X-Symbol version 4.45 betaDavid Aspinall
2002-10-22This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2002-09-16Updated.David Aspinall
2002-09-16Set version tag for new release.David Aspinall
2002-09-14New files.David Aspinall
2002-09-14Add commentDavid Aspinall
2002-09-14Change to proof-shell-ready-prover to allow more flexible queue handlingDavid Aspinall
2002-09-14CommentsDavid Aspinall
2002-09-13Updated.David Aspinall
2002-09-13Comment on display anomalyDavid Aspinall
2002-09-13set-specifier -> remove-specifier as per XEmacs docs.David Aspinall
2002-09-11Fix typo.David Aspinall
2002-09-11Save more space/fix display anomolay by leaving point at end of non-whitespaceDavid Aspinall
2002-09-11Short-circuit goals display if string empty.David Aspinall
2002-09-11Don't insert blank line at top of response buffer.David Aspinall
2002-09-11Fix proof-quick-opts-save to match menuDavid Aspinall
2002-09-11Fix typo.David Aspinall
2002-09-11Updated.David Aspinall
2002-09-11Set version tag for new release.David Aspinall
2002-09-11Attempt to improve window shrinking. Still needs work.David Aspinall
2002-09-11Deleted files.David Aspinall
2002-09-11New files.David Aspinall
2002-09-11Adjust comment about selecting PG/Isar.David Aspinall
2002-09-11Remove comment about selecting PG/Isar.David Aspinall
2002-09-11Shorten mode names. Comment about parsing prob.David Aspinall
2002-09-11Source of parsing problem discovered and explained.David Aspinall
2002-09-11Tweak html markupDavid Aspinall
2002-09-11Clarify in development supportDavid Aspinall
2002-09-11Add comment at endDavid Aspinall
2002-09-11Update version number, reorg.David Aspinall
2002-09-11Check on context menu doesn't seem useful.David Aspinall
2002-09-11Updated.David Aspinall
2002-09-11Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments.David Aspinall
2002-09-11Add :visible support. Minor reorganisation.David Aspinall
2002-09-11Support for new proof-shrink-windows-tofit option.David Aspinall
2002-09-11Begin support for thms bufferDavid Aspinall
2002-09-11Add proof-shrink-windows-tofit option.David Aspinall
2002-09-11Emulate :visible keywordDavid Aspinall
2002-09-11Missing parenDavid Aspinall
2002-09-11Updated.David Aspinall
2002-09-04Docstrings, setting for thms bufferDavid Aspinall
2002-09-04Begin adding code for thms bufferDavid Aspinall
2002-09-04Add proof-thms-bufferDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 00:01:05 +0000