aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Expand)Author
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
2000-07-03Set version tag for new release.David Aspinall
2000-06-29Set version tag for new release.David Aspinall
2000-06-27Set version tag for new release.David Aspinall
2000-06-22Set version tag for new release.David Aspinall
2000-06-19Set version tag for new release.David Aspinall
2000-06-16Set version tag for new release.David Aspinall
2000-06-09Set version tag for new release.David Aspinall
2000-06-06Set version tag for new release.David Aspinall
2000-06-01Set version tag for new release.David Aspinall
2000-05-30Set version tag for new release.David Aspinall
2000-05-29Set version tag for new release.David Aspinall
2000-05-26Only extend the load path if necessaryDavid Aspinall
2000-05-25Set version tag for new release.David Aspinall
2000-05-17Set version tag for new release.David Aspinall
2000-05-16Set version tag for new release.David Aspinall
2000-05-16Added proof-ready-for-assistant function to help docstring magic.David Aspinall
2000-05-16Comment addedDavid Aspinall
2000-05-11Set version tag for new release.David Aspinall
2000-05-11Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility.David Aspinall
2000-05-09Set version tag for new release.David Aspinall
2000-05-09Fixup loading.David Aspinall
2000-05-09Remove use of cl. Add require on proof-autoloads.David Aspinall
2000-05-05Set version tag for new release.David Aspinall
2000-05-05Added variables for customization groups so they can be set automatically.David Aspinall
2000-05-01Set version tag for new release.David Aspinall
2000-04-28Set version tag for new release.David Aspinall
2000-04-26Set version tag for new release.David Aspinall
2000-04-07Set version tag for new release.David Aspinall
2000-04-04Set version tag for new release.David Aspinall
2000-04-04Set version tag for new release.David Aspinall
2000-03-24Set version tag for new release.David Aspinall
2000-03-24Set version tag for new release.David Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-22Set version tag for new release.David Aspinall
2000-03-19Set version tag for new release.David Aspinall
2000-03-17proof-assistant-table: fixed spelling of comment;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-22 05:59:19 +0000