aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-site.el
AgeCommit message (Expand)Author
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
2000-03-14Set version tag for new release.David Aspinall
2000-03-13Set version tag for new release.David Aspinall
2000-03-10Set version tag for new release.David Aspinall
2000-03-09Set version tag for new release.David Aspinall
2000-03-09Added support for HOL98 PG.David Aspinall
2000-03-08Set version tag for new release.David Aspinall
2000-03-01Set version tag for new release.David Aspinall
2000-02-29Set version tag for new release.David Aspinall
2000-02-28Set version tag for new release.David Aspinall
2000-02-24Set version tag for new release.David Aspinall
2000-02-17Set version tag for new release.David Aspinall
2000-02-15Set version tag for new release.David Aspinall
2000-02-09Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 20:46:45 +0000