| Age | Commit message (Collapse) | Author |
|---|
|
(strings are brown, but logic is green)
|
|
|
|
terrible
|
|
such as imenu.
|
|
\< \>) appears to work on Emacs 22, hopefully repairing
http://proofgeneral.inf.ed.ac.uk/trac/ticket/300.
Also replace proof-splice-separator -> mapconcat builtin.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Still not ideal: when there is no proof state, we'd prefer
that an empty goal screen is displayed.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
http://proofgeneral.inf.ed.ac.uk/trac/ticket/199)
|
|
string start)
|
|
|
|
recognition of terminating comment strings.
|
|
|
|
|
|
|
|
Experiment with font-lock to set yank-handler.
|
|
|
|
|
|
added special "L", special "V";
|
|
|
|
http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
|
|
|
|
|
|
as well;
|
|
|
|
|
|
|
|
|
|
Cvs: ----------------------------------------------------------------------
|
|
|
|
|
|
|
|
post-Isabelle2005 the latter is empty anyway);
|
|
usually appears locally as plain theory command;
isar-keywords-proper: simplified font-lock;
added isar-match-nesting -- distinguishes font-lock for local vs. global begin/end;
|
|
removed obsolete kill/undo-kill-regexp;
|
|
|
