Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updated multiple file notes. | David Aspinall | 1999-11-08 |
| | |||
* | New file. | David Aspinall | 1999-11-08 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-11-02 |
| | |||
* | test stray ML file; | Makarius Wenzel | 1999-10-27 |
| | |||
* | Trivial tests for auto multiple files. | David Aspinall | 1999-10-25 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-22 |
| | |||
* | Trivial changes | David Aspinall | 1999-10-21 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-21 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-20 |
| | |||
* | Minor change for testing. | David Aspinall | 1999-10-20 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-14 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-12 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-07 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-06 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-06 |
| | |||
* | Test for Unnamed_thm. | David Aspinall | 1999-10-06 |
| | |||
* | Updated | David Aspinall | 1999-10-06 |
| | |||
* | Next version will be 3.0 cvs update | David Aspinall | 1999-10-06 |
| | |||
* | Notes on profiling. | David Aspinall | 1999-10-06 |
| | |||
* | summarize changes since 2.1 | David Aspinall | 1999-10-06 |
| | |||
* | Admin changes for version 2.2. | David Aspinall | 1999-10-06 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-10-01 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-30 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-29 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-28 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-22 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-21 |
| | |||
* | Updated | David Aspinall | 1999-09-13 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-09-13 |
| | |||
* | Made a release (ProofGeneral.spec, proof-site.el, download.phtml) | David Aspinall | 1999-09-13 |
| | | | | | Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present | ||
* | Set version tag for new release. | David Aspinall | 1999-08-27 |
| | |||
* | Record of releases | David Aspinall | 1999-08-27 |
| | |||
* | Updated for 2.1 | David Aspinall | 1999-08-27 |
| | |||
* | Fixed to include isar in distribution; made relocatable. | David Aspinall | 1999-08-25 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-24 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-23 |
| | |||
* | Mentioned a few tests | David Aspinall | 1999-08-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-20 |
| | |||
* | based on Pure rather than Main (which didn't work because of Pure/CPure clash); | Makarius Wenzel | 1999-08-19 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-19 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-08-17 |
| | |||
* | Test files for multiple file handling with Isabelle/Isar; | Makarius Wenzel | 1999-07-29 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-22 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-16 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-07 |
| | |||
* | Set version tag for new release. | David Aspinall | 1999-07-03 |
| |