aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2000-09-18Set version tag for new release.David Aspinall
2000-09-14Set version tag for new release.David Aspinall
2000-09-14UpdatedDavid Aspinall
2000-09-13Set version tag for new release.David Aspinall
2000-09-13Added some bug test cases.David Aspinall
2000-09-13Getting ready for 3.2 releaseDavid Aspinall
2000-09-12Notes about using cvs remotely added.David Aspinall
2000-09-12Set version tag for new release.David Aspinall
2000-09-11Set version tag for new release.David Aspinall
2000-08-29Set version tag for new release.David Aspinall
2000-08-28Set version tag for new release.David Aspinall
2000-08-28Note about CVSROOT setting.David Aspinall
2000-08-28Test file for proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-14Files for testing theorem dependency features.David Aspinall
2000-08-09Set version tag for new release.David Aspinall
2000-07-26Set version tag for new release.David Aspinall
2000-07-20Note about need to test..David Aspinall
2000-07-16Set version tag for new release.David Aspinall
2000-07-13Set version tag for new release.David Aspinall
2000-07-13Add Isabelle interface scripts to RPMDavid Aspinall
2000-07-12Set version tag for new release.David Aspinall
2000-07-05Set version tag for new release.David Aspinall
2000-07-04Set version tag for new release.David Aspinall
2000-07-03Set version tag for new release.David Aspinall
2000-06-29Set version tag for new release.David Aspinall
2000-06-27Set version tag for new release.David Aspinall
2000-06-27Added tag to force Isar modeDavid Aspinall
2000-06-22Set version tag for new release.David Aspinall
2000-06-19Set version tag for new release.David Aspinall
2000-06-16Set version tag for new release.David Aspinall
2000-06-09Set version tag for new release.David Aspinall
2000-06-06Set version tag for new release.David Aspinall
2000-06-01Set version tag for new release.David Aspinall
2000-06-01File used to test new parsing mechanism.David Aspinall
2000-06-01New test files for PG kit.David Aspinall
2000-05-30Set version tag for new release.David Aspinall
2000-05-29Set version tag for new release.David Aspinall
2000-05-29Updated for announcement.David Aspinall
2000-05-25Patched patch again.David Aspinall
2000-05-25Fix applying of patch.David Aspinall
2000-05-25Fix patch.David Aspinall
2000-05-25Updated patch.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 18:04:22 +0000