| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | 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-17 | 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-16 | 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-15 | Set version tag for new release. | David Aspinall | |
| 1999-11-14 | proof-nested-goals-allowed -> proof-completed-proof-behaviour | David Aspinall | |
| Patch for more flexible handling of closing goal...save regions after proof has been completed. | |||
| 1999-11-13 | Test case | David Aspinall | |
| 1999-11-12 | Set version tag for new release. | David Aspinall | |
| 1999-11-12 | Updated | David Aspinall | |
| 1999-11-12 | New testing files | David Aspinall | |
| 1999-11-11 | 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-10 | Set version tag for new release. | David Aspinall | |
| 1999-11-10 | Junk code | David Aspinall | |
| 1999-11-09 | Set version tag for new release. | David Aspinall | |
| 1999-11-09 | Test files for error in theory processing. | David Aspinall | |
| 1999-11-08 | Updated multiple file notes. | David Aspinall | |
| 1999-11-08 | New file. | David Aspinall | |
| 1999-11-02 | Set version tag for new release. | David Aspinall | |
| 1999-10-27 | test stray ML file; | Makarius Wenzel | |
| 1999-10-25 | Trivial tests for auto multiple files. | David Aspinall | |
| 1999-10-22 | Set version tag for new release. | David Aspinall | |
| 1999-10-21 | Trivial changes | David Aspinall | |
| 1999-10-21 | Set version tag for new release. | David Aspinall | |
| 1999-10-20 | Set version tag for new release. | David Aspinall | |
| 1999-10-20 | Minor change for testing. | 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 | 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-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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |