aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)Author
2000-05-25Note about sync problemDavid Aspinall
2000-05-25New file, test cases for bugsDavid Aspinall
2000-05-25Updated from 3.1 branchDavid Aspinall
2000-05-25Set version tag for new release.David Aspinall
2000-05-17Set version tag for new release.David Aspinall
2000-05-16Set version tag for new release.David Aspinall
2000-05-11Set version tag for new release.David Aspinall
2000-05-11New fileDavid Aspinall
2000-05-09Set version tag for new release.David Aspinall
2000-05-09Trivial.David Aspinall
2000-05-09Merged from 3.1.5David Aspinall
2000-05-05Set version tag for new release.David Aspinall
2000-05-01Set version tag for new release.David Aspinall
2000-04-28Set version tag for new release.David Aspinall
2000-04-28Note about conflict in mergingDavid Aspinall
2000-04-28Added note about 3.1.4 patch, merged from 3.1 branchDavid Aspinall
2000-04-28Notes about using cvs and branch.David Aspinall
2000-04-26Set version tag for new release.David Aspinall
2000-04-07Set version tag for new release.David Aspinall
2000-04-04Set version tag for new release.David Aspinall
2000-04-04Note about 3.1.3 releaseDavid Aspinall
2000-03-24Set version tag for new release.David Aspinall
2000-03-24About 3.1.2David Aspinall
2000-03-24Note about testing on win32David Aspinall
2000-03-24UpdatedDavid Aspinall
2000-03-24Set version tag for new release.David Aspinall
2000-03-24Notes about upcoming 3.1.1 changesDavid Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23First release attemptDavid Aspinall
2000-03-23Set version tag for new release.David Aspinall
2000-03-23Updated for 3.1, removed appendix.David Aspinall
2000-03-22Set version tag for new release.David Aspinall
2000-03-22Notes about strange filenamesDavid Aspinall
2000-03-22Comment about tripping bug in IsabelleDavid Aspinall
2000-03-22Added test files to check stupid filename for directories.David Aspinall
2000-03-19Set version tag for new release.David Aspinall
2000-03-14Set version tag for new release.David Aspinall
2000-03-13Getting reading for 3.1David Aspinall
2000-03-13Fix globbing. Not as powerful as I'd hoped.David Aspinall
2000-03-13Set version tag for new release.David Aspinall
2000-03-13Added hol and new info files to packageDavid Aspinall
2000-03-10Set version tag for new release.David Aspinall
2000-03-09Set version tag for new release.David Aspinall
2000-03-08Set version tag for new release.David Aspinall
2000-03-08Error example from Randy, showing too much info was lost in output msgs.David Aspinall
2000-03-08Put README.devel into spec fileDavid Aspinall
2000-03-01Set version tag for new release.David Aspinall
2000-02-29Set version tag for new release.David Aspinall
2000-02-28Set version tag for new release.David Aspinall
2000-02-24Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 19:03:48 +0000