Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Set version tag for new release. | David Aspinall | 2007-08-19 | |
| | ||||
* | pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp | David Aspinall | 2007-08-19 | |
| | ||||
* | Fix to proof-defintset-fn so that correct current value is displayed. | David Aspinall | 2007-08-19 | |
| | ||||
* | Fix attribute for proof-active-area-face | David Aspinall | 2007-08-19 | |
| | ||||
* | Only analyse structure for region of appended text | David Aspinall | 2007-08-19 | |
| | ||||
* | proof-active-area-face: highlighting face for active area | David Aspinall | 2007-08-19 | |
| | ||||
* | Test ProofGeneral.sendback | David Aspinall | 2007-08-19 | |
| | ||||
* | pg-topterm-regexp: use special 376. isar-goalhyplit-test: Delete closing ↵ | David Aspinall | 2007-08-19 | |
| | | | | markup (special 377). | |||
* | Comments | David Aspinall | 2007-08-19 | |
| | ||||
* | proof-append-alist: detach queue span if no commands after comments stripped. | David Aspinall | 2007-08-19 | |
| | | | | Fixes trac report #138: processing comments alone leads to spurious read-only region. | |||
* | removed outated comment; | Makarius Wenzel | 2007-08-15 | |
| | ||||
* | isar-goalhyplit-test: explicit end-marker; | Makarius Wenzel | 2007-08-15 | |
| | ||||
* | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall | 2007-08-14 | |
| | ||||
* | Add unload utility for development | David Aspinall | 2007-08-14 | |
| | ||||
* | Added new keywords. | Pierre Courtieu | 2007-07-12 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2007-07-04 | |
| | ||||
* | Revert html target to not include dir (although it builds in dir) | David Aspinall | 2007-06-19 | |
| | ||||
* | New subdirs for html | David Aspinall | 2007-06-19 | |
| | ||||
* | Fix broken texi magic strings. | David Aspinall | 2007-06-19 | |
| | ||||
* | Account for new default behaviour of texi2html, using subdir for manuals | David Aspinall | 2007-06-19 | |
| | ||||
* | Fix comment | David Aspinall | 2007-06-19 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2007-06-19 | |
| | ||||
* | isar-improper-regexp: include "prems"; | Makarius Wenzel | 2007-06-14 | |
| | | | | Cvs: ---------------------------------------------------------------------- | |||
* | single-char-regexp: tuned symbol regexp; | Makarius Wenzel | 2007-06-14 | |
| | | | | subscript-matcher: more robust handling of non-space lookahead (beware of markuo specials!); | |||
* | isar-font-lock-local: tuned symbol regexp; | Makarius Wenzel | 2007-06-14 | |
| | ||||
* | added information about optional "Find Theorems" form; | Makarius Wenzel | 2007-06-13 | |
| | ||||
* | reverted find theorems default from form to minibuffer | weber | 2007-06-11 | |
| | ||||
* | Updated. | David Aspinall | 2007-06-10 | |
| | ||||
* | New files. | David Aspinall | 2007-06-10 | |
| | ||||
* | Cleanup mac init, make it compile safe | David Aspinall | 2007-06-10 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2007-06-10 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2007-06-08 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2007-06-05 | |
| | ||||
* | Updated. | David Aspinall | 2007-05-25 | |
| | ||||
* | New files. | David Aspinall | 2007-05-25 | |
| | ||||
* | Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall. | David Aspinall | 2007-05-25 | |
| | ||||
* | XEmacs 21.4.15 does not seem to know propertize | weber | 2007-05-17 | |
| | ||||
* | Comment on remove of proof-indent-pad-eol | David Aspinall | 2007-05-15 | |
| | ||||
* | Clarify buf hist activation. | David Aspinall | 2007-05-15 | |
| | ||||
* | Fix rename | weber | 2007-05-11 | |
| | ||||
* | Fix rename | weber | 2007-05-11 | |
| | ||||
* | works with XEmacs now (ticket #115) | weber | 2007-05-11 | |
| | ||||
* | Fix rename | David Aspinall | 2007-05-11 | |
| | ||||
* | Rename [proof]find-theorems -> isar-find-theorems | David Aspinall | 2007-05-11 | |
| | ||||
* | Renamed file | David Aspinall | 2007-05-11 | |
| | ||||
* | Renamed file | David Aspinall | 2007-05-11 | |
| | ||||
* | Experimental patch for unicode/mac support | David Aspinall | 2007-05-11 | |
| | ||||
* | Unicode patch, in progress | David Aspinall | 2007-05-11 | |
| | ||||
* | Patch for Mac | David Aspinall | 2007-05-11 | |
| | ||||
* | New files. | David Aspinall | 2007-05-11 | |
| |