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
#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
#169 Complete buffer history enhancement assigned enhancement major PG-Emacs-4.3 2:pg-emacs
#195 Replace crufty PHP code for interpreting outline mode with some Javascript new enhancement minor 6:web-and-docs
#208 Generalise Coq's modeline subgoal counter for other provers accepted enhancement minor PG-Emacs-4.3 2:pg-emacs
#239 Remove reliance on dom4j new enhancement minor 1:pg-eclipse
#273 next-error functions: document and streamline accepted enhancement 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
#488 Display of Ltac debugging mode new enhancement minor 2:pg-emacs
#506 Please add Proof IDE support to emacs PG new enhancement minor PG-Emacs-4.3 2:pg-emacs
#514 Emacs org-mode integration new enhancement minor PG-Emacs-4.3 2:pg-emacs
#25 Review in-code TODO and FIXME tasks new task minor 1:pg-eclipse
#34 Event processing cleanups assigned task major 1:pg-eclipse
#39 Code cleanups: use tag CLEANUP for old code prior to removal new task minor 1:pg-eclipse
#59 Remove/check through OLD_BUG_LIST.txt new task minor 1:pg-eclipse
#61 Make Proof Objects view into standalone RCP application new task minor 1:pg-eclipse
#65 Use FindBugs to detect possible bugs new task major 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
#276 Unicode tokens: resolve font-lock issues, optimise accepted task major PG-Emacs-4.3 2:pg-emacs
#361 Generic adjustment of prover's pretty-printing width accepted task minor PG-Emacs-4.3 2:pg-emacs
#364 Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) accepted task trivial PG-Emacs-4.3 2:pg-emacs
#367 Fix web pages and update screenshots accepted task 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
#457 Remove/invoke proof-shell-pre-interrupt-hook new task minor PG-Emacs-4.3 2:pg-emacs
#249 Script management error for locales; undo action failure should not generate markers assigned critical 1:pg-eclipse
← 1 2
Note: See TracQuery for help on using queries.