aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-12-15
* Set version tag for new release.Gravatar David Aspinall2000-12-07
* af2 is now called PhoXGravatar Christophe Raffalli2000-12-01
* Set version tag for new release.Gravatar David Aspinall2000-12-01
* Set version tag for new release.Gravatar David Aspinall2000-11-17
* Set version tag for new release.Gravatar David Aspinall2000-11-15
* Set version tag for new release.Gravatar David Aspinall2000-10-19
* Set version tag for new release.Gravatar David Aspinall2000-10-18
* Set version tag for new release.Gravatar David Aspinall2000-10-18
* Set version tag for new release.Gravatar David Aspinall2000-10-03
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-10-02
* Set version tag for new release.Gravatar David Aspinall2000-09-29
* Set version tag for new release.Gravatar David Aspinall2000-09-28
* Set version tag for new release.Gravatar David Aspinall2000-09-27
* Added ACL2Gravatar David Aspinall2000-09-27
* Set version tag for new release.Gravatar David Aspinall2000-09-26
* Set version tag for new release.Gravatar David Aspinall2000-09-25
* Set version tag for new release.Gravatar David Aspinall2000-09-23
* Set version tag for new release.Gravatar David Aspinall2000-09-21
* Set version tag for new release.Gravatar David Aspinall2000-09-20
* Set version tag for new release.Gravatar David Aspinall2000-09-18
* Set version tag for new release.Gravatar David Aspinall2000-09-14
* Set version tag for new release.Gravatar David Aspinall2000-09-13
* Set version tag for new release.Gravatar David Aspinall2000-09-12
* Added entry for Af2Gravatar David Aspinall2000-09-12
* Set version tag for new release.Gravatar David Aspinall2000-09-11
* Set version tag for new release.Gravatar David Aspinall2000-08-29
* Set version tag for new release.Gravatar David Aspinall2000-08-28
* Added twelf and experimental support note.Gravatar David Aspinall2000-08-28
* Set version tag for new release.Gravatar David Aspinall2000-08-09
* Set version tag for new release.Gravatar David Aspinall2000-07-26
* proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;Gravatar Makarius Wenzel2000-07-20
* Set version tag for new release.Gravatar David Aspinall2000-07-16
* Set version tag for new release.Gravatar David Aspinall2000-07-13
* Set version tag for new release.Gravatar David Aspinall2000-07-12
* Set version tag for new release.Gravatar David Aspinall2000-07-05
* Set version tag for new release.Gravatar David Aspinall2000-07-04
* Set version tag for new release.Gravatar David Aspinall2000-07-03
* Set version tag for new release.Gravatar David Aspinall2000-06-29
* Set version tag for new release.Gravatar David Aspinall2000-06-27
* Set version tag for new release.Gravatar David Aspinall2000-06-22
* Set version tag for new release.Gravatar David Aspinall2000-06-19
* Set version tag for new release.Gravatar David Aspinall2000-06-16
* Set version tag for new release.Gravatar David Aspinall2000-06-09
* Set version tag for new release.Gravatar David Aspinall2000-06-06
* Set version tag for new release.Gravatar David Aspinall2000-06-01
* Set version tag for new release.Gravatar David Aspinall2000-05-30
* Set version tag for new release.Gravatar David Aspinall2000-05-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 10:39:12 +0000