| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
as not reliable; extra work needed on both sides.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/277
|
|
|
|
|
|
|
|
|
|
|
|
|
|
symbolizing old files.
|
|
|
|
added separate isar-string-wrapping;
isar-positions-of: isar-string-wrapping of file name -- to make double sure;
|
|
|
|
|
|
|
|
|
|
|
|
versions of bash;
|
|
|
|
response/goals font-lock keywords.
|
|
|
|
http://proofgeneral.inf.ed.ac.uk/trac/ticket/199)
|
|
behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
|
|
|
|
string start)
|
|
|
|
recognition of terminating comment strings.
|
|
|
|
|
|
|
|
options
|
|
|
|
|
|
ISABELLE_PROCESS refers to "isabelle-process";
|
|
expansion) -- allows spaces within parameters;
|
|
|
|
|
|
|
|
|
|
|
|
Experiment with font-lock to set yank-handler.
|
|
cope with very long multiline matches.
|
|
|
|
|
|
|
|
|
|
added special "L", special "V";
|
|
|
|
|
