| Age | Commit message (Collapse) | Author |
|---|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#183, #186. See #190
|
|
|
|
|
|
|
|
|
|
Generate from Isabelle.sym
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
