| Age | Commit message (Collapse) | Author |
|---|
|
|
|
removed unused Pbp setup;
removed 'isabelle-convert-idmarkup-to-subterm, which expects 8bit specials;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
isatool doc "x"
instead of
isatool doc " x"
|
|
|
|
|
|
|
|
|
|
pg-after-fontify-output-hook: always do pg-remove-specials;
|
|
|
|
|
|
isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp;
|
|
added pg-remove-specials-in-string;
|
|
avoid (re-)search-forward, which does not observe proof-case-fold-search;
|
|
pg-assoc-strip-subterm-markup;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
