| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
`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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
