Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Mention ACL2 too | 2000-09-29 | |
| | |||
* | Fix URL. | 2000-09-28 | |
| | |||
* | Set version tag for new release. | 2000-09-28 | |
| | |||
* | Set version tag for new release. | 2000-09-27 | |
| | |||
* | Updated | 2000-09-27 | |
| | |||
* | Fix URL of source | 2000-09-27 | |
| | |||
* | Fix adding af2 to RPM. | 2000-09-26 | |
| | |||
* | Set version tag for new release. | 2000-09-26 | |
| | |||
* | Fix Proof General web page to www.proofgeneral.org. | 2000-09-26 | |
| | |||
* | Updated for 3.2 release | 2000-09-26 | |
| | |||
* | Set version tag for new release. | 2000-09-25 | |
| | |||
* | Add AF2 to RPM package. | 2000-09-25 | |
| | |||
* | Set version tag for new release. | 2000-09-23 | |
| | |||
* | Set version tag for new release. | 2000-09-21 | |
| | |||
* | Fix globbing some more. | 2000-09-21 | |
| | |||
* | Fix for rpm braindead globbing. | 2000-09-21 | |
| | |||
* | Add PG-adapting to info files. | 2000-09-21 | |
| | |||
* | Added Prefixes: tag | 2000-09-21 | |
| | |||
* | bug2: Resolved as of 17.9.00; | 2000-09-21 | |
| | |||
* | fixed "Dagstuhl"; | 2000-09-21 | |
| | |||
* | Set version tag for new release. | 2000-09-20 | |
| | |||
* | Set version tag for new release. | 2000-09-18 | |
| | |||
* | Set version tag for new release. | 2000-09-14 | |
| | |||
* | Updated | 2000-09-14 | |
| | |||
* | Set version tag for new release. | 2000-09-13 | |
| | |||
* | Added some bug test cases. | 2000-09-13 | |
| | |||
* | Getting ready for 3.2 release | 2000-09-13 | |
| | |||
* | Notes about using cvs remotely added. | 2000-09-12 | |
| | |||
* | Set version tag for new release. | 2000-09-12 | |
| | |||
* | Set version tag for new release. | 2000-09-11 | |
| | |||
* | Set version tag for new release. | 2000-08-29 | |
| | |||
* | Set version tag for new release. | 2000-08-28 | |
| | |||
* | Note about CVSROOT setting. | 2000-08-28 | |
| | |||
* | Test file for proof-shell-set-elisp-variable-regexp | 2000-08-28 | |
| | |||
* | Files for testing theorem dependency features. | 2000-08-14 | |
| | |||
* | Set version tag for new release. | 2000-08-09 | |
| | |||
* | Set version tag for new release. | 2000-07-26 | |
| | |||
* | Note about need to test.. | 2000-07-20 | |
| | |||
* | Set version tag for new release. | 2000-07-16 | |
| | |||
* | Set version tag for new release. | 2000-07-13 | |
| | |||
* | Add Isabelle interface scripts to RPM | 2000-07-13 | |
| | |||
* | Set version tag for new release. | 2000-07-12 | |
| | |||
* | Set version tag for new release. | 2000-07-05 | |
| | |||
* | Set version tag for new release. | 2000-07-04 | |
| | |||
* | Set version tag for new release. | 2000-07-03 | |
| | |||
* | Set version tag for new release. | 2000-06-29 | |
| | |||
* | Set version tag for new release. | 2000-06-27 | |
| | |||
* | Added tag to force Isar mode | 2000-06-27 | |
| | |||
* | Set version tag for new release. | 2000-06-22 | |
| | |||
* | Set version tag for new release. | 2000-06-19 | |
| |