aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2007-12-10
* Set version tag for new release.Gravatar David Aspinall2007-11-12
* Use %{version} tag in source file nameGravatar David Aspinall2007-10-25
* Set version tag for new release.Gravatar David Aspinall2007-10-25
* Set version tag for new release.Gravatar David Aspinall2007-09-10
* Set version tag for new release.Gravatar David Aspinall2007-08-19
* Set version tag for new release.Gravatar David Aspinall2007-07-04
* Set version tag for new release.Gravatar David Aspinall2007-06-19
* Set version tag for new release.Gravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-08
* Set version tag for new release.Gravatar David Aspinall2007-06-05
* Set version tag for new release.Gravatar David Aspinall2007-05-10
* Set version tag for new release.Gravatar David Aspinall2007-03-12
* Set version tag for new release.Gravatar David Aspinall2007-03-04
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-01-09
* Set version tag for new release.Gravatar David Aspinall2006-12-20
* Set version tag for new release.Gravatar David Aspinall2006-12-11
* Set version tag for new release.Gravatar David Aspinall2006-11-07
* Set version tag for new release.Gravatar David Aspinall2006-10-27
* Set version tag for new release.Gravatar David Aspinall2006-09-24
* Tweak.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-22
* Packaging fixes: put isar/interface in right place; install examples and doc ...Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-09
* Set version tag for new release.Gravatar David Aspinall2006-09-07
* Set version tag for new release.Gravatar David Aspinall2006-08-28
* Set version tag for new release.Gravatar David Aspinall2006-05-26
* Set version tag for new release.Gravatar David Aspinall2006-02-14
* Set version tag for new release.Gravatar David Aspinall2005-10-04
* Set version tag for new release.Gravatar David Aspinall2005-09-30
* Set version tag for new release.Gravatar David Aspinall2005-09-22
* Set version tag for new release.Gravatar David Aspinall2005-09-21
* Set version tag for new release.Gravatar David Aspinall2005-09-15
* Set version tag for new release.Gravatar David Aspinall2005-08-10
* Try to avoid packaging elcs inadvertentlyGravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-07-15
* Tweak headers for FC4 buildGravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-06-02
* Set version tag for new release.Gravatar David Aspinall2005-05-17
* Set version tag for new release.Gravatar David Aspinall2005-03-25
* Add emacs, xemacs as build requires suggested by J ShapiroGravatar David Aspinall2004-10-05
* Set version tag for new release.Gravatar David Aspinall2004-08-31
* Set version tag for new release.Gravatar David Aspinall2004-08-25
* Set version tag for new release.Gravatar David Aspinall2004-08-10
* Set version tag for new release.Gravatar David Aspinall2004-07-23
* Set version tag for new release.Gravatar David Aspinall2004-06-17
* Set version tag for new release.Gravatar David Aspinall2004-06-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 21:13:52 +0000