aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Expand)Author
2004-04-13Tweak disabling of X-Symbol packages to allow user toDavid Aspinall
2004-04-13Disable any other x-symbol packages found by XEmacs (uses defadvice)David Aspinall
2004-04-06Set version tag for new release.David Aspinall
2004-04-06Add pgshell to proof-assistant-table, remove pgkit for now.David Aspinall
2004-04-06Another day, another prover:cxl
2004-04-05Set version tag for new release.David Aspinall
2004-04-02Set version tag for new release.David Aspinall
2004-03-23Set version tag for new release.David Aspinall
2004-03-19 .v7 and .v8 added as coq file possible extensions.Pierre Courtieu
2004-03-02Set version tag for new release.David Aspinall
2004-03-01Set version tag for new release.David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2004-02-08Set version tag for new release.David Aspinall
2004-02-07Set version tag for new release.David Aspinall
2003-10-05Set version tag for new release.David Aspinall
2003-09-25Set version tag for new release.David Aspinall
2003-05-24Set version tag for new release.David Aspinall
2003-05-23Set version tag for new release.David Aspinall
2003-05-20Set version tag for new release.David Aspinall
2003-04-15Set version tag for new release.David Aspinall
2003-03-17Set version tag for new release.David Aspinall
2003-03-16Updated.David Aspinall
2003-03-14Set version tag for new release.David Aspinall
2003-03-07Set version tag for new release.David Aspinall
2003-03-07Use Info-default-directory-list for GNU Emacs stillDavid Aspinall
2003-03-05Set version tag for new release.David Aspinall
2003-03-03Set version tag for new release.David Aspinall
2003-02-24Set version tag for new release.David Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2003-02-22Set version tag for new release.David Aspinall
2003-02-20Set version tag for new release.David Aspinall
2003-02-19Set version tag for new release.David Aspinall
2003-02-17Set version tag for new release.David Aspinall
2003-02-16Set version tag for new release.David Aspinall
2003-02-05Set version tag for new release.David Aspinall
2003-02-03Set version tag for new release.David Aspinall
2003-01-20Set version tag for new release.David Aspinall
2002-11-11Set version tag for new release.David Aspinall
2002-11-08Set version tag for new release.David Aspinall
2002-11-07Updated.David Aspinall
2002-09-16Set version tag for new release.David Aspinall
2002-09-11Set version tag for new release.David Aspinall
2002-09-04only hack proof-info-directory if it exists (doesnt for RPM version)David Aspinall
2002-08-31Set version tag for new release.David Aspinall
2002-08-30Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 19:06:48 +0000