aboutsummaryrefslogtreecommitdiff
path: root/etc/ProofGeneral.spec
AgeCommit message (Expand)Author
2004-03-02Fix info installDavid Aspinall
2004-03-02Set version tag for new release.David Aspinall
2004-03-01Fix/simplify documentation.David Aspinall
2004-03-01Tweak desktop integration; add application-registry.David Aspinall
2004-03-01Simplify make callDavid Aspinall
2004-02-29Add emacs-elc and xemacs-elc sub-packages.David Aspinall
2004-02-28Update desktop support to freedesktop.org standards.David Aspinall
2004-02-10Remove offending domain nameDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 19:50:26 +0000