| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dependence on proof-assistant-symbol)
|
|
|
|
|
|
This makes sure that stripping special characters from output is accurate.
|
|
|
|
|
|
|
|
|
|
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!);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
