aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
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
2004-02-07Updated.David Aspinall
2003-10-05Set version tag for new release.David Aspinall
2003-09-25Add bug reported by Norbert Schirmer.David Aspinall
2003-09-25Set version tag for new release.David Aspinall
2003-09-24Notice about using cvs.inf insteadDavid Aspinall
2003-06-16Updated.David Aspinall
2003-05-28Updated.David Aspinall
2003-05-24Set version tag for new release.David Aspinall
2003-05-24Updated.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-10Add test case with symbol in subscriptDavid Aspinall
2003-03-07Set version tag for new release.David Aspinall
2003-03-07Remove notes about old bugsDavid 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-19New files.David Aspinall
2003-02-19Set version tag for new release.David Aspinall
2003-02-18New files.David Aspinall
2003-02-18New files.David Aspinall
2003-02-17Test case for {nested proof} in isabelleDavid 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-05New files.David Aspinall
2003-02-03Set version tag for new release.David Aspinall
2003-01-24New files.David Aspinall
2003-01-20Set version tag for new release.David Aspinall
2002-11-18Updated.David Aspinall
2002-11-18New files.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-09-11Deleted files.David Aspinall
2002-09-11New files.David Aspinall
2002-09-11Add comment at endDavid Aspinall
2002-08-31Set version tag for new release.David Aspinall
2002-08-30Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-09 22:50:24 +0000