aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
Commit message (Expand)AuthorAge
* Remove bogus fileGravatar David Aspinall2002-08-29
* Missing mkdirGravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Support dekstop entries for KDE and GNOME, tested in RedHat 7.3Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-27
* Set version tag for new release.Gravatar David Aspinall2002-08-26
* Set version tag for new release.Gravatar David Aspinall2002-08-16
* Set version tag for new release.Gravatar David Aspinall2002-08-12
* Set version tag for new release.Gravatar David Aspinall2002-08-09
* Set version tag for new release.Gravatar David Aspinall2002-08-08
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 19:11:06 +0000