aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-09-17Changed name of info file.David Aspinall
1998-09-17Fix in proof-shell-handle-outputDavid Aspinall
1998-09-17fixed a bug in proof-shell-filter and proof-shell-handle-ouputThomas Kleymann
1998-09-16Bug in regexp for isa auto-mode-alist.David Aspinall
1998-09-16Moved proof-info-dir into proof-site and defcustom'd it.David Aspinall
1998-09-16Added test schedule itemDavid Aspinall
1998-09-16Makefile for building every kind of target from texi.David Aspinall
1998-09-16Info directory entries for FSF and XEmacs.David Aspinall
1998-09-16Renamed texinfo file.David Aspinall
1998-09-16fixed implementation fo proof-find-next-terminator;Thomas Kleymann
1998-09-16Documentation acknowleges use of three type of buffers:Thomas Kleymann
1998-09-16Isabelle Proof General loads for .thy as well as .ML files.David Aspinall
1998-09-16Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p...David Aspinall
1998-09-16Removed item about toolbar error message to do with process handling.David Aspinall
1998-09-16Added low-priority item about improving process handling.David Aspinall
1998-09-15Reimplemented proof-shell-popup-eager-annotationThomas Kleymann
1998-09-14DONE: Reduced number of colours used in iconsDavid Aspinall
1998-09-14Reduced number of colours used for impoverished displays.David Aspinall
1998-09-14Realised clash with proof-assistant variable was causing "odd customize behav...David Aspinall
1998-09-14Added docs and proof-restart-script-same-process (may need work)David Aspinall
1998-09-14Changed proof-assistant into proof-assistants to support autoloads for more t...David Aspinall
1998-09-14Added toolbar todos discussed at business lunch with tmsDavid Aspinall
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
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
1998-09-08Added Id and commentsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:37:06 +0000