| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
pre-processing of commands when they're queued from script
|
|
|
|
LEGO messages)
|
|
|
|
|
|
the prover-specific menu entry automatically. Fix compiler warning
with a defvar.
|
|
|
|
|
|
isar-keywords-name: fix custom group
|
|
|
|
Fix a compile warning.
|
|
Make \<spacespace> be a single EM-DASH SPACE
|
|
|
|
|
|
|
|
|
|
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;
|
|
|
|
|
|
|
|
|
