| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Still faulty.
|
|
|
|
|
|
|
|
|
|
change. Also logic menu tooltips.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Credit due to Makarius. Tested *very briefly* with Coq.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/200
|
|
Part of patch from Simon Winwood.
|
|
This fixes Unicode Tokens handling of sub/super scripts, etc.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214
Thanks to Simon Winwood for identifying failure point.
|
|
|
|
|
|
cause breakage on older Emacs (tested on 22.2).
|
|
|
|
expects;
|
|
particular meaning in Isabelle;
|
|
sequence, e.g. "\\nat" instead of "\nat";
|
|
|
|
as well;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cursor.
|
|
|
|
|
|
|
|
|
|
|
|
NOT FOR EMACS22. As byte position is buggy in emacs22.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ starting the "insert as" feature.
|
|
|
