| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Set version tag for new release. |  David Aspinall | 1999-11-22 |
| * | Set version tag for new release. | David Aspinall | 1999-11-19 |
| * | Set version tag for new release. | David Aspinall | 1999-11-18 |
| * | Junk proof-xsym-toggle-hook | David Aspinall | 1999-11-18 |
| * | Attempted patch no.1 | David Aspinall | 1999-11-18 |
| * | Deleted files. | David Aspinall | 1999-11-17 |
| * | Changed doc link | David Aspinall | 1999-11-17 |
| * | Set version tag for new release. | David Aspinall | 1999-11-17 |
| * | Updated | David Aspinall | 1999-11-17 |
| * | Updated | David Aspinall | 1999-11-17 |
| * | Set version tag for new release. | David Aspinall | 1999-11-16 |
| * | Updates | David Aspinall | 1999-11-16 |
| * | Test files for automatic multiple files. | David Aspinall | 1999-11-16 |
| * | Set version tag for new release. | David Aspinall | 1999-11-15 |
| * | proof-nested-goals-allowed -> proof-completed-proof-behaviour | David Aspinall | 1999-11-14 |
| * | Test case | David Aspinall | 1999-11-13 |
| * | Set version tag for new release. | David Aspinall | 1999-11-12 |
| * | Updated | David Aspinall | 1999-11-12 |
| * | New testing files | David Aspinall | 1999-11-12 |
| * | Next round of fixups for font-lock and x-symbol. | David Aspinall | 1999-11-11 |
| * | Extensive fixes for x-symbol and font-lock. | David Aspinall | 1999-11-11 |
| * | Patches for urgent message processing. | David Aspinall | 1999-11-11 |
| * | Set version tag for new release. | David Aspinall | 1999-11-10 |
| * | Junk code | David Aspinall | 1999-11-10 |
| * | Set version tag for new release. | David Aspinall | 1999-11-09 |
| * | Test files for error in theory processing. | David Aspinall | 1999-11-09 |
| * | 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |