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
#76 Add Prove-As-You-Type option new enhancement major 1:pg-eclipse
#79 Improve symbols: support table inclusions; add Mac and Windows overrides new enhancement major 1:pg-eclipse
#80 Improve symbols/character display: allow superscript, subscript (and maybe bold, italic, colours, ...) new enhancement minor 1:pg-eclipse
#81 Investigate use of Computer Modern Unicode font new task minor 1:pg-eclipse
#82 Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty new task minor 1:pg-eclipse
#85 Outline view improvements new enhancement minor 1:pg-eclipse
#90 Folding Improvements new defect major 1:pg-eclipse
#104 Add preference listener to ProofScriptDocument new defect minor 1:pg-eclipse
#105 Preference handling refactor: add description text preferences, use those for display, remove ids new defect minor 1:pg-eclipse
#108 Support proof object searching via search dialog new enhancement major 1:pg-eclipse
#122 Use Batch Build Command and Project Batch Build Command new enhancement major 1:pg-eclipse
#127 Fix Action Bar active editor switching; simplify actions assigned defect major 1:pg-eclipse
#133 Enhance proof project nature: add proof project preference, use prover-specifics new enhancement minor 1:pg-eclipse
#134 Generalise lexing to better match Isar syntax assigned enhancement major 1:pg-eclipse
#135 Quick diff symbol decoding broken new defect major 1:pg-eclipse
#136 Add compare support for proof scripts new enhancement major 1:pg-eclipse
#239 Remove reliance on dom4j new enhancement minor 1:pg-eclipse
#243 Parsing errors: whitespace lost in parseresult new defect major 1:pg-eclipse
#246 Fix ProofScriptDocument partitionChangeBroadcast new defect critical 1:pg-eclipse
#247 Proof Objects view (IdView) is broken new defect major 1:pg-eclipse
#249 Script management error for locales; undo action failure should not generate markers assigned critical 1:pg-eclipse
#250 Interrupt causes document inconsistency assigned defect blocker 1:pg-eclipse
#251 Exception in editor startup new defect critical 1:pg-eclipse
#252 Tune script management markers new defect critical 1:pg-eclipse
#255 Refactor concurrency handling for document new defect critical 1:pg-eclipse
#256 Use prover-specific Preference Initialisers new defect minor 1:pg-eclipse
#353 "undo last proof command" does not work at the end of theory new defect major 1:pg-eclipse
#354 synchronisation lost with "process rest" and "undo" new defect minor 1:pg-eclipse
← 1 2
Note: See TracQuery for help on using queries.