Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Set version tag for new release. | David Aspinall | 2000-09-21 |
| | |||
* | Fix globbing some more. | David Aspinall | 2000-09-21 |
| | |||
* | Fix for rpm braindead globbing. | David Aspinall | 2000-09-21 |
| | |||
* | Add PG-adapting to info files. | David Aspinall | 2000-09-21 |
| | |||
* | Added Prefixes: tag | David Aspinall | 2000-09-21 |
| | |||
* | bug2: Resolved as of 17.9.00; | Makarius Wenzel | 2000-09-21 |
| | |||
* | fixed "Dagstuhl"; | Makarius Wenzel | 2000-09-21 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-20 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-18 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-14 |
| | |||
* | Updated | David Aspinall | 2000-09-14 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-13 |
| | |||
* | Added some bug test cases. | David Aspinall | 2000-09-13 |
| | |||
* | Getting ready for 3.2 release | David Aspinall | 2000-09-13 |
| | |||
* | Notes about using cvs remotely added. | David Aspinall | 2000-09-12 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-12 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-11 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-08-29 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-08-28 |
| | |||
* | Note about CVSROOT setting. | David Aspinall | 2000-08-28 |
| | |||
* | Test file for proof-shell-set-elisp-variable-regexp | David Aspinall | 2000-08-28 |
| | |||
* | Files for testing theorem dependency features. | David Aspinall | 2000-08-14 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-08-09 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-26 |
| | |||
* | Note about need to test.. | David Aspinall | 2000-07-20 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-16 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-13 |
| | |||
* | Add Isabelle interface scripts to RPM | David Aspinall | 2000-07-13 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-12 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-05 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-04 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-03 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-06-29 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-06-27 |
| | |||
* | Added tag to force Isar mode | David Aspinall | 2000-06-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-06-22 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-06-19 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-06-16 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-06-09 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-06-06 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-06-01 |
| | |||
* | File used to test new parsing mechanism. | David Aspinall | 2000-06-01 |
| | |||
* | New test files for PG kit. | David Aspinall | 2000-06-01 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-05-30 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-05-29 |
| | |||
* | Updated for announcement. | David Aspinall | 2000-05-29 |
| | |||
* | Patched patch again. | David Aspinall | 2000-05-25 |
| | | | | Phew, what an effort. | ||
* | Fix applying of patch. | David Aspinall | 2000-05-25 |
| | |||
* | Fix patch. | David Aspinall | 2000-05-25 |
| | |||
* | Updated patch. | David Aspinall | 2000-05-25 |
| |