| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
| |
Cvs: ----------------------------------------------------------------------
|
| |
|
| |
|
| |
|
|
|
|
| |
post-Isabelle2005 the latter is empty anyway);
|
|
|
|
|
|
|
| |
usually appears locally as plain theory command;
isar-keywords-proper: simplified font-lock;
added isar-match-nesting -- distinguishes font-lock for local vs. global begin/end;
|
|
|
|
| |
removed obsolete kill/undo-kill-regexp;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Add output-font-lock-keywords for tvars and vars without ?'s
(probably redundant without low-level output mode change: pending).
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
font-lock/XEmacs.
|
| |
|
| |
|
| |
|
| |
|