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
#506 Please add Proof IDE support to emacs PG David Aspinall enhancement minor PG-Emacs-4.3 2:pg-emacs
#507 PG for Coq does not interpret quotes within comments like Coq does David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#508 The option -emacs-U is depracated Proof General should use -emacs instead. David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#509 isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined. David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#510 coq-time-commands hangs on bullets with Coq-8.5 David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#513 Splash screen disappears too quickly David Aspinall defect minor PG-Emacs-4.4 2:pg-emacs
#514 Emacs org-mode integration David Aspinall enhancement minor PG-Emacs-4.3 2:pg-emacs
#23 Test and refine capabilities/activities Graham Dutton enhancement minor 1:pg-eclipse
#31 Decorators not always updated Graham Dutton defect minor 1:pg-eclipse
#72 Fix prover state indicator Graham Dutton defect minor 1:pg-eclipse
#77 Partitioning: fix for correct lexical syntax of Isar Graham Dutton defect major 1:pg-eclipse
#87 Add support for indentation in proof script editor Graham Dutton enhancement major 1:pg-eclipse
#106 Add support for status area message responses Graham Dutton defect major 1:pg-eclipse
#107 Support text file searching with symbol encoding/decoding Graham Dutton enhancement minor 1:pg-eclipse
#125 Use <askprefs> message to configure prover-specific preferences Graham Dutton enhancement major 1:pg-eclipse
#130 Add project batch builder Graham Dutton enhancement minor 1:pg-eclipse
#132 Packaging for 1.0.6/3.4 releases Graham Dutton task major 1:pg-eclipse
#38 Add automated testing framework alex heneveld enhancement critical 1:pg-eclipse
#64 Decide what to do with ProverStandalone alex heneveld task minor 1:pg-eclipse
#3 Improve code quality: address J2SE best practices in TPTP analysis somebody task major 1:pg-eclipse
← 1 2
Note: See TracQuery for help on using queries.