| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
do not load proof-site.el here;
|
|
|
|
|
|
|
|
|
|
|
|
on isar version (only 1 backslash);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
command line, avoiding nil under all circumstances;
|
|
|
|
be less aggressive in changing x-symbol-enable;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
unfortunately)
|
|
|
|
|
|
|
|
|
|
|
|
functionality now in Isabelle's update_thy for PG
|
|
|
|
|
|
Added switch off of simplifier tracing to quiet command
(not good enough -- need help from Isabelle for that really).
|
|
|
|
|
|
fixed proof-shell-pre-interrupt-hook: use isabelle-verbatim;
|
|
|
|
|
|
completion for x-symbol tokens.
|
|
|
