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
#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
#142 New parsescript code in pgip_parser.ML is broken new defect major 4:prover-isabelle
#144 Build a hybrid top level that removes PG specific one new enhancement minor 4:prover-isabelle
#145 PGIP parser: add string tokens for categories new enhancement major 4:prover-isabelle
#146 Add "sendback" messages to match behaviour added to PG Emacs new enhancement major 5:PGIP-design
#147 Add support for (static) code templates inside Isabelle new enhancement major 4:prover-isabelle
#148 Add "continual validation" mode to PGIP new defect major 5:PGIP-design
#149 Unify batch and incremental mode of processing new defect major 4:prover-isabelle
#150 Remove use of PGIP message datatypes new defect minor 4:prover-isabelle
#151 Make interface multiple-thread aware new defect major 4:prover-isabelle
#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
#260 Path names with spaces are not decoded property on search path new defect minor 4:prover-isabelle
#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
#194 Fix links on web pages and odd mime types for linked files under releases new defect major 6:web-and-docs
#195 Replace crufty PHP code for interpreting outline mode with some Javascript new enhancement minor 6:web-and-docs
#488 Display of Ltac debugging mode new enhancement minor 2:pg-emacs
← 1 2
Note: See TracQuery for help on using queries.