aboutsummaryrefslogtreecommitdiff
path: root/etc/ProofGeneral.spec
AgeCommit message (Collapse)Author
2004-02-08Fix globsDavid Aspinall
2004-02-08Set version tag for new release.David Aspinall
2004-02-08info-<x> files seem to be not built now.David Aspinall
2004-02-07Set version tag for new release.David Aspinall
2003-10-05Set version tag for new release.David Aspinall
2003-09-25Set version tag for new release.David Aspinall
2003-05-24Set version tag for new release.David Aspinall
2003-05-23Set version tag for new release.David Aspinall
2003-05-20Set version tag for new release.David Aspinall
2003-04-15Set version tag for new release.David Aspinall
2003-03-17Set version tag for new release.David Aspinall
2003-03-14Set version tag for new release.David Aspinall
2003-03-07Set version tag for new release.David Aspinall
2003-03-05Set version tag for new release.David Aspinall
2003-03-03Set version tag for new release.David Aspinall
2003-02-24Install x-sym/mmmDavid Aspinall
2003-02-24Set version tag for new release.David Aspinall
2003-02-24Add mmm and x-symbolDavid Aspinall
2003-02-22Set version tag for new release.David Aspinall
2003-02-20Set version tag for new release.David Aspinall
2003-02-19Set version tag for new release.David Aspinall
2003-02-17Set version tag for new release.David Aspinall
2003-02-16Set version tag for new release.David Aspinall
2003-02-05Set version tag for new release.David Aspinall
2003-02-03Set version tag for new release.David Aspinall
2003-01-20Set version tag for new release.David Aspinall
2002-11-11Set version tag for new release.David Aspinall
2002-11-08Set version tag for new release.David Aspinall
2002-09-16Set version tag for new release.David Aspinall
2002-09-11Set version tag for new release.David Aspinall
2002-08-31Set version tag for new release.David Aspinall
2002-08-30Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Remove bogus fileDavid Aspinall
2002-08-29Missing mkdirDavid Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Support dekstop entries for KDE and GNOME, tested in RedHat 7.3David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-27Set version tag for new release.David Aspinall
2002-08-26Set version tag for new release.David Aspinall
2002-08-16Set version tag for new release.David Aspinall
2002-08-12Set version tag for new release.David Aspinall
2002-08-09Set version tag for new release.David Aspinall
2002-08-08Set version tag for new release.David Aspinall
2002-08-07Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 18:47:22 +0000