aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Test file for proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* Files for testing theorem dependency features.Gravatar David Aspinall2000-08-14
* Set version tag for new release.Gravatar David Aspinall2000-08-09
* Set version tag for new release.Gravatar David Aspinall2000-07-26
* Note about need to test..Gravatar David Aspinall2000-07-20
* Set version tag for new release.Gravatar David Aspinall2000-07-16
* Set version tag for new release.Gravatar David Aspinall2000-07-13
* Add Isabelle interface scripts to RPMGravatar David Aspinall2000-07-13
* Set version tag for new release.Gravatar David Aspinall2000-07-12
* Set version tag for new release.Gravatar David Aspinall2000-07-05
* Set version tag for new release.Gravatar David Aspinall2000-07-04
* Set version tag for new release.Gravatar David Aspinall2000-07-03
* Set version tag for new release.Gravatar David Aspinall2000-06-29
* Set version tag for new release.Gravatar David Aspinall2000-06-27
* Added tag to force Isar modeGravatar David Aspinall2000-06-27
* Set version tag for new release.Gravatar David Aspinall2000-06-22
* Set version tag for new release.Gravatar David Aspinall2000-06-19
* Set version tag for new release.Gravatar David Aspinall2000-06-16
* Set version tag for new release.Gravatar David Aspinall2000-06-09
* Set version tag for new release.Gravatar David Aspinall2000-06-06
* Set version tag for new release.Gravatar David Aspinall2000-06-01
* File used to test new parsing mechanism.Gravatar David Aspinall2000-06-01
* New test files for PG kit.Gravatar David Aspinall2000-06-01
* Set version tag for new release.Gravatar David Aspinall2000-05-30
* Set version tag for new release.Gravatar David Aspinall2000-05-29
* Updated for announcement.Gravatar David Aspinall2000-05-29
* Patched patch again.Gravatar David Aspinall2000-05-25
* Fix applying of patch.Gravatar David Aspinall2000-05-25
* Fix patch.Gravatar David Aspinall2000-05-25
* Updated patch.Gravatar David Aspinall2000-05-25
* Note about sync problemGravatar David Aspinall2000-05-25
* New file, test cases for bugsGravatar David Aspinall2000-05-25
* Updated from 3.1 branchGravatar David Aspinall2000-05-25
* Set version tag for new release.Gravatar David Aspinall2000-05-25
* Set version tag for new release.Gravatar David Aspinall2000-05-17
* Set version tag for new release.Gravatar David Aspinall2000-05-16
* Set version tag for new release.Gravatar David Aspinall2000-05-11
* New fileGravatar David Aspinall2000-05-11
* Set version tag for new release.Gravatar David Aspinall2000-05-09
* Trivial.Gravatar David Aspinall2000-05-09
* Merged from 3.1.5Gravatar David Aspinall2000-05-09
* Set version tag for new release.Gravatar David Aspinall2000-05-05
* Set version tag for new release.Gravatar David Aspinall2000-05-01
* Set version tag for new release.Gravatar David Aspinall2000-04-28
* Note about conflict in mergingGravatar David Aspinall2000-04-28
* Added note about 3.1.4 patch, merged from 3.1 branchGravatar David Aspinall2000-04-28
* Notes about using cvs and branch.Gravatar David Aspinall2000-04-28
* Set version tag for new release.Gravatar David Aspinall2000-04-26
* Set version tag for new release.Gravatar David Aspinall2000-04-07
* Set version tag for new release.Gravatar David Aspinall2000-04-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-07 22:41:30 +0000