| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
allows using a span attribute to detect goal commands.
I think I modified all modes accordingly.
|
|
|
|
| |
is actually displayed as such -- by Clemens Ballarin;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
isatool doc "x"
instead of
isatool doc " x"
|
| |
|
| |
|
|
|
|
| |
isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp;
|
| |
|
| |
|
| |
|
|
|
|
| |
tuned;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
for Isabelle.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
removed bold (not supported by x-symbol any more)
|
| |
|