| Age | Commit message (Collapse) | Author |
|---|
|
|
|
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";
|
|
|
|
|
|
|
|
http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
|
|
|
|
|
|
|
|
|
|
with cut-and-paste and when typing tokens directly. Trac#223.
|
|
|
|
|
|
more precise regexps isar-token-match, isar-control-token-match;
isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expects;
isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle;
add back |-> shortcut;
|
|
change. Also logic menu tooltips.
|
|
|
|
|
|
|
|
|
|
expects;
|
|
particular meaning in Isabelle;
|
|
sequence, e.g. "\\nat" instead of "\nat";
|
|
as well;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
when ASCII scheme was introduced. Messages may be lost otherwise.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
