| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-09-27 | ** C func-menu: observe proof-syntactic-context (general problem of | Makarius Wenzel |
| 2000-09-21 | ** D support proof-next-error? | Makarius Wenzel |
| 2000-09-13 | done: make help key bindings appear in "Show me ..." menu; | Makarius Wenzel |
| 2000-08-03 | ** B make help key bindings appear in "Show me ..." menu; | Makarius Wenzel |
| 2000-06-27 | Note about typing in shell buffer | David Aspinall |
| 2000-06-10 | new indentation setup; | Makarius Wenzel |
| 2000-06-04 | updated; | Makarius Wenzel |
| 2000-04-05 | tuned todo stuff; | Makarius Wenzel |
| 2000-03-19 | Updated | David Aspinall |
| 2000-03-13 | New/updated information files | David Aspinall |
| 2000-03-08 | Split low-level todo into several files. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |