aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-toolbar.el
AgeCommit message (Expand)Author
1998-11-25Toolbar tip for restart changed.David Aspinall
1998-11-25Docstring fixes, minor improvements.David Aspinall
1998-11-20Reimplemented functions to shut down and restart proof process.David Aspinall
1998-11-20BIG CHANGES -- SORRY!David Aspinall
1998-11-03Added menu made from toolbar commands, called "Scripting".David Aspinall
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-28Added proof-toolbar-follow-mode user option and functions to supportDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-26proof-check-process-available replaced by *two* functions:David Aspinall
1998-10-22Added todo for clean byte compileDavid Aspinall
1998-10-21o Improved error messagesThomas Kleymann
1998-10-18relaxed conditions in light of new multiple files supportThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
1998-10-12Fixed bug in proof-toolbar-qed.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Made toolbar functions interactive, needed by old XEmacs.David Aspinall
1998-10-12Removed toolbar enablers. XEmacs isnt ready for them yet.David Aspinall
1998-10-12Made toolbar functions leave point alone, mostly.David Aspinall
1998-10-12Doc stringsDavid Aspinall
1998-10-07Added detection of less than 16 bit colour depth to display 8bitDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Added qed button. Fixed enabler predicates.David Aspinall
1998-09-23Changed customization group nameDavid Aspinall
1998-09-22Added new buttons, changed icons.David Aspinall
1998-09-14Added docs and proof-restart-script-same-process (may need work)David 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-08Added todos for toolbar.David Aspinall
1998-09-08First version of generic proof toolbar.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 03:57:43 +0000