Custom Query (7 matches)
| Ticket | Summary | Owner | Reporter | Type | Status | Priority |
|---|---|---|---|---|---|---|
| #6 | Add code folding for proof scripts | enhancement | closed | major | ||
| #7 | Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. | enhancement | closed | major | ||
| #8 | Cleanup active script handling in actions | defect | closed | minor | ||
| #9 | Fix history in output view | defect | new | minor | ||
| #10 | Refactor and enhance document model | enhancement | new | major | ||
| #11 | Builder for parsing/proving files automatically | enhancement | new | minor | ||
| #51 | Add processing direction to 'active script' decorator | enhancement | new | minor |
Note: See TracQuery
for help on using queries.
