aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Added $ to coq automode regexpGravatar David Aspinall1998-10-02
* added LEGO support for proof-goal-command and proof-save-commandGravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Added documentation for user-level functions.Gravatar David Aspinall1998-10-01
* Added doc stringsGravatar David Aspinall1998-10-01
* Added qed button. Fixed enabler predicates.Gravatar David Aspinall1998-10-01
* Added docstrings and comments.Gravatar David Aspinall1998-10-01
* Changed customization group nameGravatar David Aspinall1998-09-23
* Changed customization group and removed nagging not-busy error messageGravatar David Aspinall1998-09-23
* Removed "myass" test entry.Gravatar David Aspinall1998-09-23
* Made configuration more sophisticated:Gravatar David Aspinall1998-09-23
* Cleaned up and improved some code, added docstrings, FIXMEs.Gravatar David Aspinall1998-09-22
* Added new buttons, changed icons.Gravatar David Aspinall1998-09-22
* Fix in proof-shell-handle-outputGravatar David Aspinall1998-09-17
* fixed a bug in proof-shell-filter and proof-shell-handle-ouputGravatar Thomas Kleymann1998-09-17
* Bug in regexp for isa auto-mode-alist.Gravatar David Aspinall1998-09-16
* Moved proof-info-dir into proof-site and defcustom'd it.Gravatar David Aspinall1998-09-16
* fixed implementation fo proof-find-next-terminator;Gravatar Thomas Kleymann1998-09-16
* Isabelle Proof General loads for .thy as well as .ML files.Gravatar David Aspinall1998-09-16
* Improved doc. Removed proof-mode-version-string.\nMade proof-prog-name-ask-p...Gravatar David Aspinall1998-09-16
* Reimplemented proof-shell-popup-eager-annotationGravatar Thomas Kleymann1998-09-15
* Added docs and proof-restart-script-same-process (may need work)Gravatar David Aspinall1998-09-14
* Changed proof-assistant into proof-assistants to support autoloads for more t...Gravatar David Aspinall1998-09-14
* Set version tag for release.Gravatar David Aspinall1998-09-10
* Set version tag for release.Gravatar David Aspinall1998-09-10
* Added proof-general-versionGravatar David Aspinall1998-09-10
* -Added documentationGravatar Thomas Kleymann1998-09-10
* fixed implementation of `proof-have-color'Gravatar Thomas Kleymann1998-09-10
* Renamed recycle icon to restartGravatar David Aspinall1998-09-09
* 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
* 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
* 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
* Layout.Gravatar David Aspinall1998-09-08
* removed dependency on tl-listGravatar Thomas Kleymann1998-09-08
* Requires proof-site.Gravatar David Aspinall1998-09-03
* Site-wide configuration for proof mode.Gravatar David Aspinall1998-09-03
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 18:16:25 +0000