Custom Query (120 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 120 of 120)

← 1 2
Ticket Summary Owner Type Priority Milestone Component
#144 Build a hybrid top level that removes PG specific one David Aspinall enhancement minor 4:prover-isabelle
#145 PGIP parser: add string tokens for categories David Aspinall enhancement major 4:prover-isabelle
#146 Add "sendback" messages to match behaviour added to PG Emacs David Aspinall enhancement major 5:PGIP-design
#147 Add support for (static) code templates inside Isabelle David Aspinall enhancement major 4:prover-isabelle
#195 Replace crufty PHP code for interpreting outline mode with some Javascript David Aspinall enhancement minor 6:web-and-docs
#239 Remove reliance on dom4j David Aspinall enhancement minor 1:pg-eclipse
#488 Display of Ltac debugging mode David Aspinall enhancement minor 2:pg-emacs
#506 Please add Proof IDE support to emacs PG David Aspinall enhancement minor PG-Emacs-4.3 2:pg-emacs
#514 Emacs org-mode integration David Aspinall enhancement minor PG-Emacs-4.3 2:pg-emacs
#3 Improve code quality: address J2SE best practices in TPTP analysis somebody task major 1:pg-eclipse
#25 Review in-code TODO and FIXME tasks David Aspinall task minor 1:pg-eclipse
#39 Code cleanups: use tag CLEANUP for old code prior to removal David Aspinall task minor 1:pg-eclipse
#59 Remove/check through OLD_BUG_LIST.txt David Aspinall task minor 1:pg-eclipse
#61 Make Proof Objects view into standalone RCP application David Aspinall task minor 1:pg-eclipse
#64 Decide what to do with ProverStandalone alex heneveld task minor 1:pg-eclipse
#65 Use FindBugs to detect possible bugs David Aspinall task major 1:pg-eclipse
#81 Investigate use of Computer Modern Unicode font David Aspinall task minor 1:pg-eclipse
#82 Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty David Aspinall task minor 1:pg-eclipse
#132 Packaging for 1.0.6/3.4 releases Graham Dutton task major 1:pg-eclipse
#457 Remove/invoke proof-shell-pre-interrupt-hook David Aspinall task minor PG-Emacs-4.3 2:pg-emacs
← 1 2
Note: See TracQuery for help on using queries.