aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* 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
* Set version tag for new release.Gravatar David Aspinall2003-02-20
* Set version tag for new release.Gravatar David Aspinall2003-02-19
* Set version tag for new release.Gravatar David Aspinall2003-02-17
* Set version tag for new release.Gravatar David Aspinall2003-02-16
* Set version tag for new release.Gravatar David Aspinall2003-02-05
* Set version tag for new release.Gravatar David Aspinall2003-02-03
* Set version tag for new release.Gravatar David Aspinall2003-01-20
* Set version tag for new release.Gravatar David Aspinall2002-11-11
* Set version tag for new release.Gravatar David Aspinall2002-11-08
* Updated.Gravatar David Aspinall2002-11-07
* Set version tag for new release.Gravatar David Aspinall2002-09-16
* Set version tag for new release.Gravatar David Aspinall2002-09-11
* only hack proof-info-directory if it exists (doesnt for RPM version)Gravatar David Aspinall2002-09-04
* Set version tag for new release.Gravatar David Aspinall2002-08-31
* Set version tag for new release.Gravatar David Aspinall2002-08-30
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-02 02:39:21 +0000