Custom Query (149 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 149 of 149)

← 1 2
Ticket Summary Status Owner Type Priority Milestone
#73 Enhancements for Proof Objects view new David Aspinall enhancement major
#72 Fix prover state indicator new Graham Dutton defect minor
#66 Make parser more robust and suggest likely causes of error new David Aspinall defect critical
#65 Use FindBugs to detect possible bugs new David Aspinall task major
#64 Decide what to do with ProverStandalone new alex heneveld task minor
#62 PGIP console displays messages out-of-order; should allow hiding packets new David Aspinall defect minor
#61 Make Proof Objects view into standalone RCP application new David Aspinall task minor
#60 Improve icons throughout new David Aspinall enhancement minor
#59 Remove/check through OLD_BUG_LIST.txt new David Aspinall task minor
#58 Hangs during shutdown new David Aspinall defect minor
#57 Symbol table editor problems: doesn't report correct status, apply is very slow new David Aspinall defect minor
#55 Parsing whole file is costly; lazy "gathering" parser strategy is flawed new David Aspinall defect major
#54 Support file operations save-as, rename, revert properly during script management new David Aspinall defect major
#53 Re-implement toolbar button enablers new David Aspinall defect minor
#51 Add processing direction to 'active script' decorator new anonymous enhancement minor
#47 Complete configuration of <lexicalsyntax> elements assigned David Aspinall enhancement major
#46 Extra view for Problem Details new David Aspinall enhancement minor
#45 Use workbench progress feedbacks; provide busy indications new David Aspinall enhancement major
#44 Support openblock/closeblock elements in prover parse output. new David Aspinall enhancement major
#43 Improve output markup (pgml.xsl) assigned Graham Dutton enhancement minor
#42 Extract Isabelle-specific behaviour; design prover extension point new David Aspinall enhancement critical
#41 Revive GEF dependency graph viewer as a separate plugin new David Aspinall enhancement major
#40 Implement document regions and annotations/markers for colouring new David Aspinall enhancement major
#39 Code cleanups: use tag CLEANUP for old code prior to removal new David Aspinall task minor
#38 Add automated testing framework new alex heneveld enhancement critical
#37 ProverKnowledge updates and improvements new David Aspinall enhancement major
#35 Implement Java PGIP abstraction, independently of Eclipse code new David Aspinall enhancement major
#34 Event processing cleanups assigned David Aspinall task major
#33 Fix interrupts: interrupt crashes prover and interrupt ineffective new David Aspinall defect major
#32 Add some user documentation new David Aspinall enhancement minor
#31 Decorators not always updated new Graham Dutton defect minor
#29 Symbol table editing scheme: fix filename and add edit action rather than create new David Aspinall enhancement minor
#27 Efficiency problems with larger files and larger outputs new David Aspinall defect major
#26 Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files) new David Aspinall defect major
#25 Review in-code TODO and FIXME tasks new David Aspinall task minor
#23 Test and refine capabilities/activities new Graham Dutton enhancement minor
#22 Refactor SessionManager assigned David Aspinall enhancement minor
#21 Refactor to remove DummyDocElement new David Aspinall defect major
#19 Use markers/positions for document processed and locked offsets new David Aspinall defect major
#18 Add hover for prover output (on any blue space) new David Aspinall enhancement minor
#17 Add clear button for prover output accepted Graham Dutton enhancement minor
#14 Concurrency fixes new David Aspinall defect critical
#13 Add proof object search facilities to IdView assigned Graham Dutton enhancement minor
#12 Polish Proof Objects View; Link to Prover Knowledge new David Aspinall defect minor
#11 Builder for parsing/proving files automatically new David Aspinall enhancement minor
#10 Refactor and enhance document model new David Aspinall enhancement major
#9 Fix history in output view new David Aspinall defect minor
#5 Replace ThreadPool with Eclipse job management new David Aspinall enhancement major
#3 Improve code quality: address J2SE best practices in TPTP analysis new somebody task major
← 1 2
Note: See TracQuery for help on using queries.