aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* 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
* Set version tag for new release.Gravatar David Aspinall2004-02-07
* Set version tag for new release.Gravatar David Aspinall2003-10-05
* Set version tag for new release.Gravatar David Aspinall2003-09-25
* Set version tag for new release.Gravatar David Aspinall2003-05-24
* Set version tag for new release.Gravatar David Aspinall2003-05-23
* Set version tag for new release.Gravatar David Aspinall2003-05-20
* Set version tag for new release.Gravatar David Aspinall2003-04-15
* Set version tag for new release.Gravatar David Aspinall2003-03-17
* Updated.Gravatar David Aspinall2003-03-16
* Set version tag for new release.Gravatar David Aspinall2003-03-14
* Set version tag for new release.Gravatar David Aspinall2003-03-07
* Use Info-default-directory-list for GNU Emacs stillGravatar David Aspinall2003-03-07
* Set version tag for new release.Gravatar David Aspinall2003-03-05
* Set version tag for new release.Gravatar David Aspinall2003-03-03
* Set version tag for new release.Gravatar David Aspinall2003-02-24
* Fix some compile errorsGravatar David Aspinall2003-02-24
* Set version tag for new release.Gravatar David Aspinall2003-02-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 03:51:46 +0000