aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Collapse)AuthorAge
* Mention ACL2 tooGravatar David Aspinall2000-09-29
|
* Fix URL.Gravatar David Aspinall2000-09-28
|
* Set version tag for new release.Gravatar David Aspinall2000-09-28
|
* Set version tag for new release.Gravatar David Aspinall2000-09-27
|
* UpdatedGravatar David Aspinall2000-09-27
|
* Fix URL of sourceGravatar David Aspinall2000-09-27
|
* Fix adding af2 to RPM.Gravatar David Aspinall2000-09-26
|
* Set version tag for new release.Gravatar David Aspinall2000-09-26
|
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
|
* Updated for 3.2 releaseGravatar David Aspinall2000-09-26
|
* Set version tag for new release.Gravatar David Aspinall2000-09-25
|
* Add AF2 to RPM package.Gravatar David Aspinall2000-09-25
|
* Set version tag for new release.Gravatar David Aspinall2000-09-23
|
* Set version tag for new release.Gravatar David Aspinall2000-09-21
|
* Fix globbing some more.Gravatar David Aspinall2000-09-21
|
* Fix for rpm braindead globbing.Gravatar David Aspinall2000-09-21
|
* Add PG-adapting to info files.Gravatar David Aspinall2000-09-21
|
* Added Prefixes: tagGravatar David Aspinall2000-09-21
|
* bug2: Resolved as of 17.9.00;Gravatar Makarius Wenzel2000-09-21
|
* fixed "Dagstuhl";Gravatar Makarius Wenzel2000-09-21
|
* Set version tag for new release.Gravatar David Aspinall2000-09-20
|
* Set version tag for new release.Gravatar David Aspinall2000-09-18
|
* Set version tag for new release.Gravatar David Aspinall2000-09-14
|
* UpdatedGravatar David Aspinall2000-09-14
|
* Set version tag for new release.Gravatar David Aspinall2000-09-13
|
* Added some bug test cases.Gravatar David Aspinall2000-09-13
|
* Getting ready for 3.2 releaseGravatar David Aspinall2000-09-13
|
* Notes about using cvs remotely added.Gravatar David Aspinall2000-09-12
|
* Set version tag for new release.Gravatar David Aspinall2000-09-12
|
* Set version tag for new release.Gravatar David Aspinall2000-09-11
|
* Set version tag for new release.Gravatar David Aspinall2000-08-29
|
* Set version tag for new release.Gravatar David Aspinall2000-08-28
|
* Note about CVSROOT setting.Gravatar David Aspinall2000-08-28
|
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 07:35:43 +0000