| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
|
| |
renamed proof-commands-regexp to proof-indent-commands-regexp, which
is less confusing);
improved undo / kill operations;
tweaked syntax table to cope with (* *) (actual comment) and {* *}
(long string);
|
|
|
|
| |
improved cannot-undo;
|
| |
|
|
|
|
|
|
|
| |
added isar-not-undoable-commands-regexp;
improved isar-cound-undos;
proper version of isar-find-and-forget (handles local qeds properly);
improved character syntax classes;
|
|
|
|
| |
improved isar-find-and-forget;
|
| |
|
|
|