{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.