{12} Newest Tickets (20 matches)
20 Newest Tickets.
| Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|---|
| #1 | Try to get trac working for Proof General web | 6:web-and-docs | enhancement | David Aspinall | closed | Jan 18, 2007 | ||
| #3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Jan 26, 2007 | ||
| #4 | Use stixfonts once they become available | 1:pg-eclipse | PG-Emacs-4.3 | enhancement | David Aspinall | closed | Jan 26, 2007 | |
| #5 | Replace ThreadPool with Eclipse job management | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | ||
| #6 | Add code folding for proof scripts | 1:pg-eclipse | enhancement | David Aspinall | closed | Jan 29, 2007 | ||
| #7 | Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. | 1:pg-eclipse | enhancement | Graham Dutton | closed | Jan 29, 2007 | ||
| #8 | Cleanup active script handling in actions | 1:pg-eclipse | defect | David Aspinall | closed | Jan 29, 2007 | ||
| #9 | Fix history in output view | 1:pg-eclipse | defect | David Aspinall | new | Jan 29, 2007 | ||
| #10 | Refactor and enhance document model | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | ||
| #11 | Builder for parsing/proving files automatically | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | ||
| #12 | Polish Proof Objects View; Link to Prover Knowledge | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | ||
| #13 | Add proof object search facilities to IdView | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Jan 30, 2007 | ||
| #14 | Concurrency fixes | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | ||
| #15 | Concurrency fixes in GetCommandResponseAction | 1:pg-eclipse | defect | David Aspinall | closed | Jan 30, 2007 | ||
| #16 | Move cursor and scroll during do/undo | 1:pg-eclipse | defect | Graham Dutton | closed | Jan 30, 2007 | ||
| #17 | Add clear button for prover output | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Jan 30, 2007 | ||
| #18 | Add hover for prover output (on any blue space) | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #19 | Use markers/positions for document processed and locked offsets | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | ||
| #20 | Fix ProofScriptEditor to change symbols cleanly | 1:pg-eclipse | defect | David Aspinall | closed | Jan 30, 2007 | ||
| #21 | Refactor to remove DummyDocElement | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 |
Note:
See TracReports for help on using and creating reports.
