| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
for Tokens customize menu
|
|
|
|
|
|
Ensure if shortcuts are customized, replacement-alist is reset too.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
as not reliable; extra work needed on both sides.
See http://proofgeneral.inf.ed.ac.uk/trac/ticket/277
|
|
|
|
|
|
|
|
|
|
|
|
|
|
symbolizing old files.
|
|
|
|
added separate isar-string-wrapping;
isar-positions-of: isar-string-wrapping of file name -- to make double sure;
|
|
|
|
|
|
|
|
|
|
|
|
versions of bash;
|
|
|
|
response/goals font-lock keywords.
|
|
|
|
http://proofgeneral.inf.ed.ac.uk/trac/ticket/199)
|
|
behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
|
|
|
|
string start)
|
|
|
|
recognition of terminating comment strings.
|
|
|
|
|
|
|
|
options
|
