aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1998-09-14added todo for fixing buggy web pagesDavid Aspinall
1998-09-11Added some more thingsDavid Aspinall
1998-09-11Fixes to syntax and startup function.David Aspinall
1998-09-10Done .xbm's and Makefile targets. Added TODO for locked region per file.David Aspinall
1998-09-10Added final message to make release.David Aspinall
1998-09-10Bug in make release.David Aspinall
1998-09-10Added back check for clean source.David Aspinall
1998-09-10Added tag, dist, release targets.David Aspinall
1998-09-10Set version tag for release.David Aspinall
1998-09-10Set version tag for release.David Aspinall
1998-09-10Added proof-general-versionDavid Aspinall
1998-09-10We seduce our audience by fancy pictures and wordsDavid Aspinall
1998-09-10We seduce our audience by fancy pictures and wordsDavid Aspinall
1998-09-10-Added documentationThomas Kleymann
-Simplified code for setting faces -Reimplimented `proof-shell-handle-error' -Improved `proof-shell-filter'; it no longer removes the prompt annotation -The Shell no longer automatically scrolls to the end (or so I hope)
1998-09-10fixed implementation of `proof-have-color'Thomas Kleymann
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
Added documentation. proof-segment-up-to: Removed explicit ML-style comment syntax, added END-OF-COMMAND argument. proof-undo-last-successful-command: Added optional argument to not delete. (The difference between this and proof-retract-until-point is that it infers the last command). proof-assert-next-command: Experimental alternative to proof-assert-until-point to match undo-last-successful-command.
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
annotations are recorded in the object file. This needs to be changed in the SML code. (initially 2h tms) Done. :-)
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 10:57:42 +0000