aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
Commit message (Expand)AuthorAge
* Fix/simplify documentation.Gravatar David Aspinall2004-03-01
* Tweak desktop integration; add application-registry.Gravatar David Aspinall2004-03-01
* Simplify make callGravatar David Aspinall2004-03-01
* Add emacs-elc and xemacs-elc sub-packages.Gravatar David Aspinall2004-02-29
* Update desktop support to freedesktop.org standards.Gravatar David Aspinall2004-02-28
* Remove offending domain nameGravatar David Aspinall2004-02-10
* Fix globsGravatar David Aspinall2004-02-08
* Set version tag for new release.Gravatar David Aspinall2004-02-08
* info-<x> files seem to be not built now.Gravatar David Aspinall2004-02-08
* Set version tag for new release.Gravatar David Aspinall2004-02-07
* Set version tag for new release.Gravatar David Aspinall2003-10-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 07:31:03 +0000