Custom Query (136 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 136 of 136)

← 1 2
Ticket Summary Status Owner Type Priority Milestone
#122 Use Batch Build Command and Project Batch Build Command new David Aspinall enhancement major
#125 Use <askprefs> message to configure prover-specific preferences new Graham Dutton enhancement major
#127 Fix Action Bar active editor switching; simplify actions assigned David Aspinall defect major
#130 Add project batch builder new Graham Dutton enhancement minor
#132 Packaging for 1.0.6/3.4 releases new Graham Dutton task major
#133 Enhance proof project nature: add proof project preference, use prover-specifics new David Aspinall enhancement minor
#134 Generalise lexing to better match Isar syntax assigned David Aspinall enhancement major
#135 Quick diff symbol decoding broken new David Aspinall defect major
#136 Add compare support for proof scripts new David Aspinall enhancement major
#142 New parsescript code in pgip_parser.ML is broken new David Aspinall defect major
#144 Build a hybrid top level that removes PG specific one new David Aspinall enhancement minor
#145 PGIP parser: add string tokens for categories new David Aspinall enhancement major
#146 Add "sendback" messages to match behaviour added to PG Emacs new David Aspinall enhancement major
#147 Add support for (static) code templates inside Isabelle new David Aspinall enhancement major
#148 Add "continual validation" mode to PGIP new David Aspinall defect major
#149 Unify batch and incremental mode of processing new David Aspinall defect major
#150 Remove use of PGIP message datatypes new David Aspinall defect minor
#151 Make interface multiple-thread aware new David Aspinall defect major
#239 Remove reliance on dom4j new David Aspinall enhancement minor
#240 Bad behaviour in startup when proof executables (isabelle, isatool) not found assigned Graham Dutton defect minor
#243 Parsing errors: whitespace lost in parseresult new David Aspinall defect major
#244 Comical giant icons in outline view assigned Graham Dutton defect minor
#246 Fix ProofScriptDocument partitionChangeBroadcast new David Aspinall defect critical
#247 Proof Objects view (IdView) is broken new David Aspinall defect major
#249 Script management error for locales; undo action failure should not generate markers assigned David Aspinall critical
#250 Interrupt causes document inconsistency assigned David Aspinall defect blocker
#251 Exception in editor startup new David Aspinall defect critical
#252 Tune script management markers new David Aspinall defect critical
#255 Refactor concurrency handling for document new David Aspinall defect critical
#256 Use prover-specific Preference Initialisers new David Aspinall defect minor
#260 Path names with spaces are not decoded property on search path new David Aspinall defect minor
#353 "undo last proof command" does not work at the end of theory new David Aspinall defect major
#354 synchronisation lost with "process rest" and "undo" new David Aspinall defect minor
#194 Fix links on web pages and odd mime types for linked files under releases new David Aspinall defect major
#195 Replace crufty PHP code for interpreting outline mode with some Javascript new David Aspinall enhancement minor
#488 Display of Ltac debugging mode new David Aspinall enhancement minor
← 1 2
Note: See TracQuery for help on using queries.