| Age | Commit message (Collapse) | Author |
|---|
|
terrible
|
|
|
|
|
|
|
|
|
|
|
|
|
|
common Isabelle theories (according to symbol length not shape), emdash is not predefined by default and confuses typical LaTeX source;
|
|
|
|
|
|
|
|
such as imenu.
|
|
spurious warning in Emacs 23.2
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(e.g. fraktur lower case \<aa>, whatever these are supposed to look like).
|
|
isar-control-regions: add \<^bisup>..\<^eisup> and \<^bisub>..\<^eisub>
|
|
|
|
\< \>) appears to work on Emacs 22, hopefully repairing
http://proofgeneral.inf.ed.ac.uk/trac/ticket/300.
Also replace proof-splice-separator -> mapconcat builtin.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
modernized usage, eliminated obsolete options -I, -P, -X, -f;
re-interpreted option -x as "unicode symbols";
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
`isar-control-char-format-regexp' to markup identifiers
|
|
|
|
Follow Upper Case Convention for menu entries
Remove duplicate menu entry: Commands -> set isabelle
|
|
Still not ideal: when there is no proof state, we'd prefer
that an empty goal screen is displayed.
|
|
|
|
|
|
|
|
|
|
|
|
|
