| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
fixed spelling;
|
|
|
|
|
|
|
|
(in Isabelle2005 this will produce repeated errors after end-of-theory;
|
|
|
|
|
|
|
|
markup (special 377).
|
|
|
|
|
|
|
|
Cvs: ----------------------------------------------------------------------
|
|
subscript-matcher: more robust handling of non-space lookahead (beware of markuo specials!);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
post-Isabelle2005 the latter is empty anyway);
|
|
|
|
breaks Poly/MK 5;
|
|
|
|
|
|
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;
|
|
|
|
isar-find-and-forget: no special treatment of undo-kill, allows
"context" command to act as local theory init;
|
|
removed obsolete kill/undo-kill-regexp;
|
|
|
|
isar-find-and-forget: proper handling of nested begin/end blocks;
|
|
|
|
allows using a span attribute to detect goal commands.
I think I modified all modes accordingly.
|
