aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2006-08-28
* Set version tag for new release.Gravatar David Aspinall2006-05-26
* Set version tag for new release.Gravatar David Aspinall2006-02-14
* Set version tag for new release.Gravatar David Aspinall2005-10-04
* Set version tag for new release.Gravatar David Aspinall2005-09-30
* Make robust against missing advice packageGravatar David Aspinall2005-09-28
* Set version tag for new release.Gravatar David Aspinall2005-09-22
* Set version tag for new release.Gravatar David Aspinall2005-09-21
* Set version tag for new release.Gravatar David Aspinall2005-09-15
* Set version tag for new release.Gravatar David Aspinall2005-08-10
* Documentation.Gravatar David Aspinall2005-08-09
* Add proof-general-version-yearGravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-06-02
* Set version tag for new release.Gravatar David Aspinall2005-05-17
* Disable Twelf support by defaultGravatar David Aspinall2005-05-17
* Set version tag for new release.Gravatar David Aspinall2005-03-25
* Set version tag for new release.Gravatar David Aspinall2004-08-31
* Set version tag for new release.Gravatar David Aspinall2004-08-25
* Add lib/ to load-path. Define proof-general-short-version.Gravatar David Aspinall2004-08-25
* Set version tag for new release.Gravatar David Aspinall2004-08-10
* Set version tag for new release.Gravatar David Aspinall2004-07-23
* Disable provers whose file extensions clash with sml mode. Default to Isabe...Gravatar David Aspinall2004-06-23
* Set version tag for new release.Gravatar David Aspinall2004-06-17
* Set version tag for new release.Gravatar David Aspinall2004-06-16
* Set version tag for new release.Gravatar David Aspinall2004-06-04
* Set version tag for new release.Gravatar David Aspinall2004-04-24
* Set version tag for new release.Gravatar David Aspinall2004-04-21
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-16
* Set version tag for new release.Gravatar David Aspinall2004-04-15
* Set version tag for new release.Gravatar David Aspinall2004-04-14
* Tweak disabling of X-Symbol packages to allow user toGravatar David Aspinall2004-04-13
* Disable any other x-symbol packages found by XEmacs (uses defadvice)Gravatar David Aspinall2004-04-13
* Set version tag for new release.Gravatar David Aspinall2004-04-06
* Add pgshell to proof-assistant-table, remove pgkit for now.Gravatar David Aspinall2004-04-06
* Another day, another prover:Gravatar cxl2004-04-06
* Set version tag for new release.Gravatar David Aspinall2004-04-05
* Set version tag for new release.Gravatar David Aspinall2004-04-02
* Set version tag for new release.Gravatar David Aspinall2004-03-23
* .v7 and .v8 added as coq file possible extensions.Gravatar Pierre Courtieu2004-03-19
* Set version tag for new release.Gravatar David Aspinall2004-03-02
* Set version tag for new release.Gravatar David Aspinall2004-03-01
* Update email and web addressesGravatar David Aspinall2004-02-08
* Set version tag for new release.Gravatar David Aspinall2004-02-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 13:26:12 +0000