Custom Query (128 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 128 of 128)

← 1 2
Ticket Summary Status Type Priority Milestone Component
#53 Re-implement toolbar button enablers new defect minor 1:pg-eclipse
#47 Complete configuration of <lexicalsyntax> elements assigned enhancement major 1:pg-eclipse
#46 Extra view for Problem Details new enhancement minor 1:pg-eclipse
#45 Use workbench progress feedbacks; provide busy indications new enhancement major 1:pg-eclipse
#44 Support openblock/closeblock elements in prover parse output. new enhancement major 1:pg-eclipse
#42 Extract Isabelle-specific behaviour; design prover extension point new enhancement critical 1:pg-eclipse
#41 Revive GEF dependency graph viewer as a separate plugin new enhancement major 1:pg-eclipse
#40 Implement document regions and annotations/markers for colouring new enhancement major 1:pg-eclipse
#39 Code cleanups: use tag CLEANUP for old code prior to removal new task minor 1:pg-eclipse
#37 ProverKnowledge updates and improvements new enhancement major 1:pg-eclipse
#35 Implement Java PGIP abstraction, independently of Eclipse code new enhancement major 1:pg-eclipse
#34 Event processing cleanups assigned task major 1:pg-eclipse
#33 Fix interrupts: interrupt crashes prover and interrupt ineffective new defect major 1:pg-eclipse
#32 Add some user documentation new enhancement minor 1:pg-eclipse
#29 Symbol table editing scheme: fix filename and add edit action rather than create new enhancement minor 1:pg-eclipse
#27 Efficiency problems with larger files and larger outputs new defect major 1:pg-eclipse
#26 Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files) new defect major 1:pg-eclipse
#25 Review in-code TODO and FIXME tasks new task minor 1:pg-eclipse
#22 Refactor SessionManager assigned enhancement minor 1:pg-eclipse
#21 Refactor to remove DummyDocElement new defect major 1:pg-eclipse
#19 Use markers/positions for document processed and locked offsets new defect major 1:pg-eclipse
#18 Add hover for prover output (on any blue space) new enhancement minor 1:pg-eclipse
#14 Concurrency fixes new defect critical 1:pg-eclipse
#12 Polish Proof Objects View; Link to Prover Knowledge new defect minor 1:pg-eclipse
#11 Builder for parsing/proving files automatically new enhancement minor 1:pg-eclipse
#10 Refactor and enhance document model new enhancement major 1:pg-eclipse
#9 Fix history in output view new defect minor 1:pg-eclipse
#5 Replace ThreadPool with Eclipse job management new enhancement major 1:pg-eclipse
← 1 2
Note: See TracQuery for help on using queries.