aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Added query to restart script button in case of accidents.Gravatar David Aspinall1998-09-09
* Made proof-assert-next-command move forward by default.Gravatar David Aspinall1998-09-09
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Fixup branch numberGravatar David Aspinall1998-09-09
* UpdatedGravatar David Aspinall1998-09-09
* Message for images directoryGravatar David Aspinall1998-09-09
* *** empty log message ***Gravatar Thomas Kleymann1998-09-09
* Added todos for toolbar.Gravatar David Aspinall1998-09-08
* Added FIXMEs.Gravatar David Aspinall1998-09-08
* Added Id and commentsGravatar David Aspinall1998-09-08
* Added IdGravatar David Aspinall1998-09-08
* Some quickly hacked ugly icons.Gravatar David Aspinall1998-09-08
* First version of generic proof toolbar.Gravatar David Aspinall1998-09-08
* Made customize variables user-visibleGravatar David Aspinall1998-09-08
* Added image directory for toolbar iconsGravatar David Aspinall1998-09-08
* More features working. Added example.Gravatar David Aspinall1998-09-08
* Added make item to build ChangeLog automatically, removed from repositoryGravatar David Aspinall1998-09-08
* Layout.Gravatar David Aspinall1998-09-08
* Added items, assigned some to daGravatar David Aspinall1998-09-08
* Example copied from texinfo manualGravatar David Aspinall1998-09-08
* assigned a task to tmsGravatar Thomas Kleymann1998-09-08
* removed dependency on tl-listGravatar Thomas Kleymann1998-09-08
* New file.Gravatar David Aspinall1998-09-03
* Renamed/added defcustom support.Gravatar David Aspinall1998-09-03
* Added some defcustom supportGravatar David Aspinall1998-09-03
* Added Isabelle example and skeleton for Coq and Lego.Gravatar David Aspinall1998-09-03
* A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,Gravatar Thomas Kleymann1998-09-03
* Requires proof-site.Gravatar David Aspinall1998-09-03
* Site-wide configuration for proof mode.Gravatar David Aspinall1998-09-03
* Requirement for test script addedGravatar David Aspinall1998-09-03
* Began notes at end about adding new assistant supportGravatar David Aspinall1998-09-03
* Renamed texinfo file.Gravatar David Aspinall1998-09-03
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
* minor modificationsGravatar Thomas Kleymann1998-09-03
* Dead code.Gravatar David Aspinall1998-09-03
* Added some items.Gravatar David Aspinall1998-09-03
* Removed dead codeGravatar David Aspinall1998-09-03
* Added note of what to do here.Gravatar David Aspinall1998-09-03
* Added more items.Gravatar David Aspinall1998-09-03
* Reorganization and fixes.Gravatar David Aspinall1998-09-03
* Added some documentation. Fixed a bug: indent-line-function needsGravatar David Aspinall1998-09-03
* o rearranged Release entryGravatar Thomas Kleymann1998-09-02
* Added make-ready for distribtion item. (2h, da)Gravatar David Aspinall1998-09-02
* This commit was generated by cvs2git to track changes on a CVS vendorGravatar David Aspinall1998-09-02
|\
| * X-Symbol version 4.45 betaGravatar David Aspinall1998-09-02
* | integrated comments following 1 Sep 98 discussion with Dave AspinallGravatar Thomas Kleymann1998-09-01
* | todoGravatar David Aspinall1998-08-27
* | proof is now able to inherit append-element from tl-listGravatar Thomas Kleymann1998-08-26
* | This commit was generated by cvs2git to track changes on a CVS vendorGravatar David Aspinall1998-08-25
|\|
| * X-Symbol version 4.45 betaGravatar David Aspinall1998-08-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 04:54:34 +0000