aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2002-08-07
* Set version tag for new release.Gravatar David Aspinall2002-07-19
* fix README rename.Gravatar David Aspinall2002-07-18
* Set version tag for new release.Gravatar David Aspinall2002-07-18
* Rename READMEs for different provers so dont clash with doc directive.Gravatar David Aspinall2002-07-18
* Set version tag for new release.Gravatar David Aspinall2002-07-17
* Set version tag for new release.Gravatar David Aspinall2002-07-16
* Set version tag for new release.Gravatar David Aspinall2002-07-15
* Set version tag for new release.Gravatar David Aspinall2002-07-14
* Set version tag for new release.Gravatar David Aspinall2002-07-01
* Set version tag for new release.Gravatar David Aspinall2002-06-20
* Set version tag for new release.Gravatar David Aspinall2002-06-19
* Add install for isartagsGravatar David Aspinall2002-06-08
* Add isartagsGravatar David Aspinall2002-06-08
* Set version tag for new release.Gravatar David Aspinall2002-06-08
* Set version tag for new release.Gravatar David Aspinall2002-05-03
* Set version tag for new release.Gravatar David Aspinall2002-04-23
* Set version tag for new release.Gravatar David Aspinall2002-03-22
* Set version tag for new release.Gravatar David Aspinall2002-03-21
* Set version tag for new release.Gravatar David Aspinall2002-02-14
* Set version tag for new release.Gravatar David Aspinall2002-01-31
* Set version tag for new release.Gravatar David Aspinall2002-01-16
* Set version tag for new release.Gravatar David Aspinall2002-01-15
* Set version tag for new release.Gravatar David Aspinall2002-01-11
* Set version tag for new release.Gravatar David Aspinall2001-12-11
* Set version tag for new release.Gravatar David Aspinall2001-12-04
* Set version tag for new release.Gravatar David Aspinall2001-10-08
* Set version tag for new release.Gravatar David Aspinall2001-09-24
* Set version tag for new release.Gravatar David Aspinall2001-09-13
* Set version tag for new release.Gravatar David Aspinall2001-09-10
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-05
* Set version tag for new release.Gravatar David Aspinall2001-09-04
* Set version tag for new release.Gravatar David Aspinall2001-09-03
* Add specific READMEs.Gravatar David Aspinall2001-09-03
* Set version tag for new release.Gravatar David Aspinall2001-09-02
* Set version tag for new release.Gravatar David Aspinall2001-08-30
* Set version tag for new release.Gravatar David Aspinall2001-08-28
* Set version tag for new release.Gravatar David Aspinall2001-08-17
* Set version tag for new release.Gravatar David Aspinall2001-08-16
* Set version tag for new release.Gravatar David Aspinall2001-08-10
* Set version tag for new release.Gravatar David Aspinall2001-08-03
* Set version tag for new release.Gravatar David Aspinall2001-08-01
* Set version tag for new release.Gravatar David Aspinall2001-07-23
* Set version tag for new release.Gravatar David Aspinall2001-07-09
* Set version tag for new release.Gravatar David Aspinall2001-05-29
* Add REGISTER to doc files.Gravatar David Aspinall2001-05-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 06:17:19 +0000