aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
Commit message (Expand)AuthorAge
...
* Set version tag for new release.Gravatar David Aspinall2000-04-26
* Set version tag for new release.Gravatar David Aspinall2000-04-07
* Set version tag for new release.Gravatar David Aspinall2000-04-04
* Set version tag for new release.Gravatar David Aspinall2000-03-24
* Set version tag for new release.Gravatar David Aspinall2000-03-24
* Set version tag for new release.Gravatar David Aspinall2000-03-23
* Set version tag for new release.Gravatar David Aspinall2000-03-23
* Set version tag for new release.Gravatar David Aspinall2000-03-22
* Set version tag for new release.Gravatar David Aspinall2000-03-19
* Set version tag for new release.Gravatar David Aspinall2000-03-14
* Fix globbing. Not as powerful as I'd hoped.Gravatar David Aspinall2000-03-13
* Set version tag for new release.Gravatar David Aspinall2000-03-13
* Added hol and new info files to packageGravatar David Aspinall2000-03-13
* Set version tag for new release.Gravatar David Aspinall2000-03-10
* Set version tag for new release.Gravatar David Aspinall2000-03-09
* Set version tag for new release.Gravatar David Aspinall2000-03-08
* Put README.devel into spec fileGravatar David Aspinall2000-03-08
* Set version tag for new release.Gravatar David Aspinall2000-03-01
* Set version tag for new release.Gravatar David Aspinall2000-02-29
* Set version tag for new release.Gravatar David Aspinall2000-02-28
* Set version tag for new release.Gravatar David Aspinall2000-02-24
* Set version tag for new release.Gravatar David Aspinall2000-02-17
* Set version tag for new release.Gravatar David Aspinall2000-02-15
* Switch to canonical URL (broken currently)Gravatar David Aspinall2000-02-15
* Set version tag for new release.Gravatar David Aspinall2000-02-09
* Set version tag for new release.Gravatar David Aspinall2000-01-26
* Set version tag for new release.Gravatar David Aspinall2000-01-20
* Set version tag for new release.Gravatar David Aspinall2000-01-12
* Set version tag for new release.Gravatar David Aspinall2000-01-06
* Set version tag for new release.Gravatar David Aspinall1999-12-16
* Set version tag for new release.Gravatar David Aspinall1999-12-14
* Set version tag for new release.Gravatar David Aspinall1999-12-13
* Set version tag for new release.Gravatar David Aspinall1999-12-03
* Set version tag for new release.Gravatar David Aspinall1999-12-01
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-29
* Set version tag for new release.Gravatar David Aspinall1999-11-29
* Set version tag for new release.Gravatar David Aspinall1999-11-26
* Set version tag for new release.Gravatar David Aspinall1999-11-26
* Add main README, COPYING to RPM.Gravatar David Aspinall1999-11-26
* Add ProofGeneral.texi and CHANGES to RPM.Gravatar David Aspinall1999-11-26
* Set version tag for new release.Gravatar David Aspinall1999-11-25
* Set version tag for new release.Gravatar David Aspinall1999-11-24
* Set version tag for new release.Gravatar David Aspinall1999-11-23
* Set version tag for new release.Gravatar David Aspinall1999-11-22
* Set version tag for new release.Gravatar David Aspinall1999-11-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 07:24:12 +0000