aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-09-10Reengineering efforts to exploit 3 buffer model now top priorityThomas Kleymann
1998-09-09Added X bitmaps of icons for mono displaysDavid Aspinall
1998-09-09Renamed recycle icon to restartDavid Aspinall
1998-09-09Added query to restart script button in case of accidents.David Aspinall
1998-09-09Made proof-assert-next-command move forward by default.David Aspinall
1998-09-09Added Id to headers.David Aspinall
1998-09-09Fixup branch numberDavid Aspinall
1998-09-09UpdatedDavid Aspinall
1998-09-09Message for images directoryDavid Aspinall
1998-09-09*** empty log message ***Thomas Kleymann
1998-09-08Added todos for toolbar.David Aspinall
1998-09-08Added FIXMEs.David Aspinall
1998-09-08Added Id and commentsDavid Aspinall
1998-09-08Added IdDavid Aspinall
1998-09-08Some quickly hacked ugly icons.David Aspinall
1998-09-08First version of generic proof toolbar.David Aspinall
1998-09-08Made customize variables user-visibleDavid Aspinall
1998-09-08Added image directory for toolbar iconsDavid Aspinall
1998-09-08More features working. Added example.David Aspinall
1998-09-08Added make item to build ChangeLog automatically, removed from repositoryDavid Aspinall
1998-09-08Layout.David Aspinall
1998-09-08Added items, assigned some to daDavid Aspinall
1998-09-08Example copied from texinfo manualDavid Aspinall
1998-09-08assigned a task to tmsThomas Kleymann
1998-09-08removed dependency on tl-listThomas Kleymann
1998-09-03New file.David Aspinall
1998-09-03Renamed/added defcustom support.David Aspinall
1998-09-03Added some defcustom supportDavid Aspinall
1998-09-03Added Isabelle example and skeleton for Coq and Lego.David Aspinall
1998-09-03A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,Thomas Kleymann
1998-09-03Requires proof-site.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 14:34:05 +0000