Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Set version tag for new release. | 1999-11-18 | |
* | Junk proof-xsym-toggle-hook | 1999-11-18 | |
* | Attempted patch no.1 | 1999-11-18 | |
* | Deleted files. | 1999-11-17 | |
* | Changed doc link | 1999-11-17 | |
* | Set version tag for new release. | 1999-11-17 | |
* | Updated | 1999-11-17 | |
* | Updated | 1999-11-17 | |
* | Set version tag for new release. | 1999-11-16 | |
* | Updates | 1999-11-16 | |
* | Test files for automatic multiple files. | 1999-11-16 | |
* | Set version tag for new release. | 1999-11-15 | |
* | proof-nested-goals-allowed -> proof-completed-proof-behaviour | 1999-11-14 | |
* | Test case | 1999-11-13 | |
* | Set version tag for new release. | 1999-11-12 | |
* | Updated | 1999-11-12 | |
* | New testing files | 1999-11-12 | |
* | Next round of fixups for font-lock and x-symbol. | 1999-11-11 | |
* | Extensive fixes for x-symbol and font-lock. | 1999-11-11 | |
* | Patches for urgent message processing. | 1999-11-11 | |
* | Set version tag for new release. | 1999-11-10 | |
* | Junk code | 1999-11-10 | |
* | Set version tag for new release. | 1999-11-09 | |
* | Test files for error in theory processing. | 1999-11-09 | |
* | Updated multiple file notes. | 1999-11-08 | |
* | New file. | 1999-11-08 | |
* | Set version tag for new release. | 1999-11-02 | |
* | test stray ML file; | 1999-10-27 | |
* | Trivial tests for auto multiple files. | 1999-10-25 | |
* | Set version tag for new release. | 1999-10-22 | |
* | Trivial changes | 1999-10-21 | |
* | Set version tag for new release. | 1999-10-21 | |
* | Set version tag for new release. | 1999-10-20 | |
* | Minor change for testing. | 1999-10-20 | |
* | Set version tag for new release. | 1999-10-14 | |
* | Set version tag for new release. | 1999-10-12 | |
* | Set version tag for new release. | 1999-10-07 | |
* | Set version tag for new release. | 1999-10-06 | |
* | Set version tag for new release. | 1999-10-06 | |
* | Test for Unnamed_thm. | 1999-10-06 | |
* | Updated | 1999-10-06 | |
* | Next version will be 3.0 cvs update | 1999-10-06 | |
* | Notes on profiling. | 1999-10-06 | |
* | summarize changes since 2.1 | 1999-10-06 | |
* | Admin changes for version 2.2. | 1999-10-06 | |
* | Set version tag for new release. | 1999-10-01 | |
* | Set version tag for new release. | 1999-09-30 | |
* | Set version tag for new release. | 1999-09-29 | |
* | Set version tag for new release. | 1999-09-28 | |
* | Set version tag for new release. | 1999-09-27 |