| Age | Commit message (Collapse) | Author |
|---|
|
experimental features.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
|
|
|
|
|
|
|
|
|
|
|
|
in menu
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
toggled on/off.
|
|
keybindings
(replacing `x-symbol-INSERT-lambda', etc).
|
|
|
|
|
|
|
|
ISABELLE_PROCESS refers to "isabelle-process";
|
|
expansion) -- allows spaces within parameters;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
