aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-09-03Site-wide configuration for proof mode.David Aspinall
1998-09-03Requirement for test script addedDavid Aspinall
1998-09-03Began notes at end about adding new assistant supportDavid Aspinall
1998-09-03Renamed texinfo file.David Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
1998-09-03minor modificationsThomas Kleymann
1998-09-03Dead code.David Aspinall
1998-09-03Added some items.David Aspinall
1998-09-03Removed dead codeDavid Aspinall
1998-09-03Added note of what to do here.David Aspinall
1998-09-03Added more items.David Aspinall
1998-09-03Reorganization and fixes.David Aspinall
1998-09-03Added some documentation. Fixed a bug: indent-line-function needsDavid Aspinall
1998-09-02o rearranged Release entryThomas Kleymann
1998-09-02Added make-ready for distribtion item. (2h, da)David Aspinall
1998-09-02This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
1998-09-02X-Symbol version 4.45 betaDavid Aspinall
1998-09-01integrated comments following 1 Sep 98 discussion with Dave AspinallThomas Kleymann
1998-08-27todoDavid Aspinall
1998-08-26proof is now able to inherit append-element from tl-listThomas Kleymann
1998-08-25X-Symbol version 4.45 betaDavid Aspinall
1998-08-25This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
1998-08-25Added further documentation.Thomas Kleymann
1998-08-24X-Symbol version 4.45 betaDavid Aspinall
1998-08-24This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
1998-08-21First attempt, proof state works.David Aspinall
1998-08-21Added comments. Made wakeup-char an option.David Aspinall
1998-08-21Typos and fixes in Walkthrough section.David Aspinall
1998-08-21Info file is easily generated from texinfo, so doesn't belong in CVSDavid Aspinall
1998-08-21todoDavid Aspinall
1998-08-14improved help submenu for LEGOThomas Kleymann
1998-08-14*** empty log message ***Thomas Kleymann
1998-08-14*** empty log message ***Thomas Kleymann
1998-08-14supports definitions of the form id == foo;Thomas Kleymann
1998-08-11New branchDavid Aspinall
1998-08-11Isabelle proof.el support.David Aspinall
1998-08-11Renamed <file>-fontlock to <file>-syntaxDavid Aspinall
1998-08-07*** empty log message ***Thomas Kleymann
1998-08-07o removed log entryThomas Kleymann
1998-08-07o removed log entryThomas Kleymann
1998-08-07*** empty log message ***Thomas Kleymann
1998-07-27Supports official LEGO release 1.3Thomas Kleymann
1998-06-11Moved proof-mode-hooks from proof-shell-config-done toHealfdene Goguen
1998-06-11Added "Scheme" as definition keyword.Healfdene Goguen
1998-06-10Wrote generic span functions for making spans read-only or read-write.Healfdene Goguen
1998-06-10Wrote generic span functions for making spans read-only or read-write.Healfdene Goguen
1998-06-10In proof-init-segmentation, only create proof-queue-span andHealfdene Goguen
1998-06-10Compare span-end first rather than span-start in span-lt, becauseHealfdene Goguen
1998-06-10Added proof-unprocessed-begin as general function to find beginning ofHealfdene Goguen
1998-06-10Changed "\\s " to "\\s-" in proof-id as whitespace pattern.Healfdene Goguen
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 23:40:31 +0000