Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |
| | ||||
* | Note about sync problem | David Aspinall | 2000-05-25 | |
| | ||||
* | New file, test cases for bugs | David Aspinall | 2000-05-25 | |
| | ||||
* | Updated from 3.1 branch | David Aspinall | 2000-05-25 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-05-25 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-05-17 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-05-16 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-05-11 | |
| | ||||
* | New file | David Aspinall | 2000-05-11 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-05-09 | |
| | ||||
* | Trivial. | David Aspinall | 2000-05-09 | |
| | ||||
* | Merged from 3.1.5 | David Aspinall | 2000-05-09 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-05-05 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-05-01 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-04-28 | |
| | ||||
* | Note about conflict in merging | David Aspinall | 2000-04-28 | |
| | ||||
* | Added note about 3.1.4 patch, merged from 3.1 branch | David Aspinall | 2000-04-28 | |
| | ||||
* | Notes about using cvs and branch. | David Aspinall | 2000-04-28 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-04-26 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-04-07 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-04-04 | |
| | ||||
* | Note about 3.1.3 release | David Aspinall | 2000-04-04 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-03-24 | |
| | ||||
* | About 3.1.2 | David Aspinall | 2000-03-24 | |
| | ||||
* | Note about testing on win32 | David Aspinall | 2000-03-24 | |
| | ||||
* | Updated | David Aspinall | 2000-03-24 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-03-24 | |
| |