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
#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
#151 Make interface multiple-thread aware new defect major 4:prover-isabelle
#169 Complete buffer history enhancement assigned enhancement major PG-Emacs-4.3 2:pg-emacs
#194 Fix links on web pages and odd mime types for linked files under releases new defect major 6:web-and-docs
#243 Parsing errors: whitespace lost in parseresult new defect major 1:pg-eclipse
#247 Proof Objects view (IdView) is broken new defect major 1:pg-eclipse
#273 next-error functions: document and streamline accepted enhancement major PG-Emacs-4.3 2:pg-emacs
#276 Unicode tokens: resolve font-lock issues, optimise accepted task major PG-Emacs-4.3 2:pg-emacs
#351 Show/hide of proofs in Coq can hide too much accepted defect major PG-Emacs-4.3 2:pg-emacs
#353 "undo last proof command" does not work at the end of theory new defect major 1:pg-eclipse
#367 Fix web pages and update screenshots accepted task major PG-Emacs-4.3 2:pg-emacs
#377 Electric-terminator mode next line movement changed reopened defect major PG-Emacs-4.3 2:pg-emacs
#425 Consider simplifying span amalgamation to match prover undo behaviour accepted task major PG-Emacs-4.3 2:pg-emacs
#429 Coq should support *trace* buffer for idtac output reopened enhancement major PG-Emacs-4.3 2:pg-emacs
#448 Repair autotest load sequence so works in compiled and interpreted code accepted defect major PG-Emacs-4.3 2:pg-emacs
#456 initialization failure with defpacustom :eval new defect major PG-Emacs-4.3 2:pg-emacs
#498 coq-compile-before-require should allow non-source installations new defect major PG-Emacs-4.3 7:prover-coq
#14 Concurrency fixes new defect critical 1:pg-eclipse
#42 Extract Isabelle-specific behaviour; design prover extension point new enhancement critical 1:pg-eclipse
#66 Make parser more robust and suggest likely causes of error new defect critical 1:pg-eclipse
#246 Fix ProofScriptDocument partitionChangeBroadcast new defect critical 1:pg-eclipse
#249 Script management error for locales; undo action failure should not generate markers assigned critical 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
#250 Interrupt causes document inconsistency assigned defect blocker 1:pg-eclipse
← 1 2
Note: See TracQuery for help on using queries.