aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2000-02-17Set version tag for new release.David Aspinall
2000-02-15Set version tag for new release.David Aspinall
2000-02-15Switch to canonical URL (broken currently)David Aspinall
2000-02-09Set version tag for new release.David Aspinall
2000-01-26Set version tag for new release.David Aspinall
2000-01-20Set version tag for new release.David Aspinall
2000-01-12Set version tag for new release.David Aspinall
2000-01-06Set version tag for new release.David Aspinall
1999-12-16Set version tag for new release.David Aspinall
1999-12-14Set version tag for new release.David Aspinall
1999-12-13Set version tag for new release.David Aspinall
1999-12-03Set version tag for new release.David Aspinall
1999-12-01Set version tag for new release.David Aspinall
1999-12-01Updated from version sent to lists.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Correct release tags.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Set version tag for new release.David Aspinall
1999-11-30Renamed fileDavid Aspinall
1999-11-30UpdatedDavid Aspinall
1999-11-29UpdatedDavid Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Set version tag for new release.David Aspinall
1999-11-29Upcoming fix for 3.1.David Aspinall
1999-11-29Updated.David Aspinall
1999-11-29UpdatedDavid Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Set version tag for new release.David Aspinall
1999-11-26Renamed fileDavid Aspinall
1999-11-26Add main README, COPYING to RPM.David Aspinall
1999-11-26Add ProofGeneral.texi and CHANGES to RPM.David Aspinall
1999-11-25Set version tag for new release.David Aspinall
1999-11-24Set version tag for new release.David Aspinall
1999-11-23Set version tag for new release.David Aspinall
1999-11-22Set version tag for new release.David Aspinall
1999-11-19Set version tag for new release.David Aspinall
1999-11-18Set version tag for new release.David Aspinall
1999-11-18Junk proof-xsym-toggle-hookDavid Aspinall
1999-11-18Attempted patch no.1David Aspinall
1999-11-17Deleted files.David Aspinall
1999-11-17Changed doc linkDavid Aspinall
1999-11-17Set version tag for new release.David Aspinall
1999-11-17UpdatedDavid Aspinall
1999-11-17UpdatedDavid Aspinall
1999-11-16Set version tag for new release.David Aspinall
1999-11-16UpdatesDavid Aspinall
1999-11-16Test files for automatic multiple files.David Aspinall
1999-11-15Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 08:18:44 +0000