aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall1998-11-04
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-03
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-02
* Set version tag for new release.Gravatar Thomas Kleymann1998-10-30
* Set version tag for new release.Gravatar David Aspinall1998-10-29
* Added automatic <prover>-config customize groupGravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Added prefixes in custom defgroups.Gravatar David Aspinall1998-10-29
* Set version tag for new release.Gravatar proofgen1998-10-28
* Set version tag for new release.Gravatar proofgen1998-10-28
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Note about bogus compiler warningGravatar David Aspinall1998-10-26
* Set version tag for new release.Gravatar Thomas Kleymann1998-10-22
* Separated splash screen codeGravatar David Aspinall1998-10-22
* Fixed info directory setting so more robust and works for FSF GNU EmacsGravatar David Aspinall1998-10-21
* Changed from forcing w3 to using customizable browse-urlGravatar David Aspinall1998-10-21
* Set version tag for new release.Gravatar David Aspinall1998-10-20
* Set version tag for new release.Gravatar David Aspinall1998-10-15
* Set version tag for release.Gravatar David Aspinall1998-10-14
* Set version tag for release.Gravatar David Aspinall1998-10-13
* Fixed broken taggingGravatar David Aspinall1998-10-12
* Added todo for proof-issue-goal, proof-issue-save.Gravatar David Aspinall1998-10-12
* Removed proof-internal cus grp from proof group.Gravatar David Aspinall1998-10-12
* Munged name of customization variables so that menus display nicely.Gravatar David Aspinall1998-10-07
* Added $ to coq automode regexpGravatar David Aspinall1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Removed "myass" test entry.Gravatar David Aspinall1998-09-23
* Made configuration more sophisticated:Gravatar David Aspinall1998-09-23
* 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
* Isabelle Proof General loads for .thy as well as .ML files.Gravatar David Aspinall1998-09-16
* 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
* 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
* Site-wide configuration for proof mode.Gravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 18:06:13 +0000