| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-follow-mode=ignore. Ref http://proofgeneral.inf.ed.ac.uk/trac/ticket/187
|
| |
|
|
|
|
| |
cleanups
|
| |
|
|
|
|
| |
Experiment with font-lock to set yank-handler.
|
|
|
|
| |
cope with very long multiline matches.
|
| |
|
|
|
|
| |
font prop must be given first
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
added special "L", special "V";
|
| |
|
|
|
|
| |
commented-out parenthesis and refreshing formerly unreachable cases;
|
| |
|
| |
|
|
|
|
| |
http://proofgeneral.inf.ed.ac.uk/trac/ticket/262
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Monnier.
|
| |
|
| |
|
| |
|
| |
|