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