Custom Query (361 matches)
Results (22 - 24 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #299 | needmoreinfo | Out of sync with Isabelle | ||
| Description |
When working within Isar proofs ProofGeneral and Isabelle get out of sync from time to time (approx. 3-5 times during a working day). Old school recover with an 'Enter' in the isabelle-shell-buffer does not help. Retract buffer works but is quite annoying. |
|||
| #305 | needmoreinfo | High overhead | ||
| Description |
When processing larger portions (thousands of lines) of a Isabelle theory file (e.g. with goto point), the cpu is almost completely consumed by emacs (over 90%) and poly only has a few %. This makes interactive work quite annoying. |
|||
| #321 | needmoreinfo | Retract buffer broken | ||
| Description |
with Isabelle2009-1 retract buffer does not work anymore:
|
|||
Note: See TracQuery
for help on using queries.
