Custom Query (361 matches)
Results (58 - 60 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#143 | fixed | Add XML/PGIP test scripts to Isabelle/Admin distribution | ||
#153 | fixed | is "proof state" view needed anymore? | ||
Description |
the CurrentStateView? ("Proof State") doesn't seem to be useful -- only shows "proofstate" pgip messages, which don't seem to come back any more. remove this view so as not to confuse users? (LatestOutputView? is much better.) otherwise improve documentation (and use) of State view so that its purpose clear. |
|||
#155 | fixed | sending past end doesn't work quite right ("undo" fails, maybe more) | ||
Description |
if i parse a theory passed the "end" point, "undo" no longer works; ("undo all" sometimes does, but "undo" should give an error at least) i'm also not sure it correctly registers that the theory is closed, when i switch to another theory it wouldn't let me activate it (but that could be do to a failed retract...) |
Note: See TracQuery
for help on using queries.