Custom Query (2 matches)
Ticket | Summary | Status | Owner | Type | Priority | Milestone |
---|---|---|---|---|---|---|
#354 | synchronisation lost with "process rest" and "undo" | new | defect | minor | ||
#353 | "undo last proof command" does not work at the end of theory | new | defect | major |
Note: See TracQuery
for help on using queries.