| Commit message (Collapse) | Author | Age |
... | |
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
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.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
improved isar-markup-ml;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Generalized option settings mechanism.
Added simplifier tracing flag.
|
|
|
|
| |
isa-set-default-cmd->isabelle-set..
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|