aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2003-09-25
* Set version tag for new release.Gravatar David Aspinall2003-05-24
* Set version tag for new release.Gravatar David Aspinall2003-05-23
* Set version tag for new release.Gravatar David Aspinall2003-05-20
* Set version tag for new release.Gravatar David Aspinall2003-04-15
* Set version tag for new release.Gravatar David Aspinall2003-03-17
* Set version tag for new release.Gravatar David Aspinall2003-03-14
* Set version tag for new release.Gravatar David Aspinall2003-03-07
* Set version tag for new release.Gravatar David Aspinall2003-03-05
* Set version tag for new release.Gravatar David Aspinall2003-03-03
* Install x-sym/mmmGravatar David Aspinall2003-02-24
* Set version tag for new release.Gravatar David Aspinall2003-02-24
* Add mmm and x-symbolGravatar David Aspinall2003-02-24
* Set version tag for new release.Gravatar David Aspinall2003-02-22
* Set version tag for new release.Gravatar David Aspinall2003-02-20
* Set version tag for new release.Gravatar David Aspinall2003-02-19
* Set version tag for new release.Gravatar David Aspinall2003-02-17
* Set version tag for new release.Gravatar David Aspinall2003-02-16
* Set version tag for new release.Gravatar David Aspinall2003-02-05
* Set version tag for new release.Gravatar David Aspinall2003-02-03
* Set version tag for new release.Gravatar David Aspinall2003-01-20
* Set version tag for new release.Gravatar David Aspinall2002-11-11
* Set version tag for new release.Gravatar David Aspinall2002-11-08
* Set version tag for new release.Gravatar David Aspinall2002-09-16
* Set version tag for new release.Gravatar David Aspinall2002-09-11
* Set version tag for new release.Gravatar David Aspinall2002-08-31
* Set version tag for new release.Gravatar David Aspinall2002-08-30
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* Set version tag for new release.Gravatar David Aspinall2002-08-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 06:26:20 +0000