Custom Query (361 matches)
Results (16 - 18 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #6 | fixed | Add code folding for proof scripts | ||
| Description |
Add code folding for proof scripts. Hua Yang had some experimental code which hard-coded Isabelle syntax; this should be revisited and revised to use the document parse instead. |
|||
| #8 | fixed | Cleanup active script handling in actions | ||
| Description |
Active script switching needs overhaul. Switching should be managed in UI actions and treated as part of protocol for correct use of SessionManager. SessionManager may throw exceptions if actions are tried on inactive scripts. Activity switching is carefully controlled. |
|||
| #15 | fixed | Concurrency fixes in GetCommandResponseAction | ||
| Description |
Uses double checked locking and a static field. |
|||
Note: See TracQuery
for help on using queries.
