aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Expand)Author
2001-05-01Set version tag for new release.David Aspinall
2001-03-20Set version tag for new release.David Aspinall
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-07Set version tag for new release.David Aspinall
2001-02-06Set version tag for new release.David Aspinall
2001-01-12Set version tag for new release.David Aspinall
2001-01-05Set version tag for new release.David Aspinall
2000-12-22Set version tag for new release.David Aspinall
2000-12-21Set version tag for new release.David Aspinall
2000-12-20Set version tag for new release.David Aspinall
2000-12-20Testing line for PGIP.David Aspinall
2000-12-15Set version tag for new release.David Aspinall
2000-12-07Set version tag for new release.David Aspinall
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-12-01Set version tag for new release.David Aspinall
2000-11-17Set version tag for new release.David Aspinall
2000-11-15Set version tag for new release.David Aspinall
2000-10-19Set version tag for new release.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-03Set version tag for new release.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-09-29Set version tag for new release.David Aspinall
2000-09-28Set version tag for new release.David Aspinall
2000-09-27Set version tag for new release.David Aspinall
2000-09-27Added ACL2David Aspinall
2000-09-26Set version tag for new release.David Aspinall
2000-09-25Set version tag for new release.David Aspinall
2000-09-23Set version tag for new release.David Aspinall
2000-09-21Set version tag for new release.David Aspinall
2000-09-20Set version tag for new release.David Aspinall
2000-09-18Set version tag for new release.David Aspinall
2000-09-14Set version tag for new release.David Aspinall
2000-09-13Set version tag for new release.David Aspinall
2000-09-12Set version tag for new release.David Aspinall
2000-09-12Added entry for Af2David Aspinall
2000-09-11Set version tag for new release.David Aspinall
2000-08-29Set version tag for new release.David Aspinall
2000-08-28Set version tag for new release.David Aspinall
2000-08-28Added twelf and experimental support note.David Aspinall
2000-08-09Set version tag for new release.David Aspinall
2000-07-26Set version tag for new release.David Aspinall
2000-07-20proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;Makarius Wenzel
2000-07-16Set version tag for new release.David Aspinall
2000-07-13Set version tag for new release.David Aspinall
2000-07-12Set version tag for new release.David Aspinall
2000-07-05Set version tag for new release.David Aspinall
2000-07-04Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 18:25:12 +0000