Commit message (Expand) | Author | Age | |
---|---|---|---|
* | command 'thm' makes no sense outside a proper context; | 2007-11-13 | |
* | tuned; | 2006-12-30 | |
* | Updated. | 2004-04-17 | |
* | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo... | 2004-04-17 | |
* | imenu todo | 2004-04-17 | |
* | Updated. | 2004-04-16 | |
* | Updated. | 2004-04-15 | |
* | Updated. | 2003-02-19 | |
* | Updated. | 2002-08-16 | |
* | Update versions/TODO | 2002-07-17 | |
* | tuned proof-next-error setup; | 2002-05-03 | |
* | updated; | 2001-12-27 | |
* | updated; | 2001-08-30 | |
* | ** C func-menu: observe proof-syntactic-context (general problem of | 2000-09-27 | |
* | ** D support proof-next-error? | 2000-09-21 | |
* | done: make help key bindings appear in "Show me ..." menu; | 2000-09-13 | |
* | ** B make help key bindings appear in "Show me ..." menu; | 2000-08-03 | |
* | Note about typing in shell buffer | 2000-06-27 | |
* | new indentation setup; | 2000-06-10 | |
* | updated; | 2000-06-04 | |
* | tuned todo stuff; | 2000-04-05 | |
* | Updated | 2000-03-19 | |
* | New/updated information files | 2000-03-13 | |
* | Split low-level todo into several files. | 2000-03-08 |