aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
1998-10-02Added $ to coq automode regexpDavid Aspinall
1998-10-02added LEGO support for proof-goal-command and proof-save-commandThomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Added documentation for user-level functions.David Aspinall
1998-10-01Added doc stringsDavid Aspinall
1998-10-01Added qed button. Fixed enabler predicates.David Aspinall
1998-10-01Added docstrings and comments.David Aspinall
1998-09-23Changed customization group nameDavid Aspinall
1998-09-23Changed customization group and removed nagging not-busy error messageDavid Aspinall
1998-09-23Removed "myass" test entry.David Aspinall
1998-09-23Made configuration more sophisticated:David Aspinall
1998-09-22Cleaned up and improved some code, added docstrings, FIXMEs.David Aspinall
1998-09-22Added new buttons, changed icons.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-16fixed implementation fo proof-find-next-terminator;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-15Reimplemented proof-shell-popup-eager-annotationThomas Kleymann
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-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-10-Added documentationThomas Kleymann
1998-09-10fixed implementation of `proof-have-color'Thomas Kleymann
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-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-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-08Layout.David Aspinall
1998-09-08removed dependency on tl-listThomas Kleymann
1998-09-03Requires proof-site.David Aspinall
1998-09-03Site-wide configuration for proof mode.David Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:29:36 +0000