Custom Query (361 matches)
Results (40 - 42 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #452 | fixed | Some Isabelle options enabled but not active | ||
| Description |
In PG 4.1 and 4.2pre120814 some options passed to the _running_ Isabelle instance (e.g. "Auto Quickcheck", "Auto Solve Direct") are enabled via config and are also been shown as enabled in the menu, but are not active, i.e. isabelle seems to not see them as enabled. A workaround is to disable and enable them manually _AFTER_ isabelle has started up. |
|||
| #451 | fixed | support {} and bullets in prooftree | ||
| Description |
see subject |
|||
| #450 | fixed | Proof in proof tree | ||
| Description |
With 8.4 Proof appears as command in the proof tree. Hendrik |
|||
Note: See TracQuery
for help on using queries.
