| Commit message (Collapse) | Author | Age |
... | |
| |
|
| |
|
| |
|
|
|
|
| |
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;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|