Custom Query (149 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 149 of 149)

← 1 2
Ticket Summary Status Owner Type Priority Milestone
#150 Remove use of PGIP message datatypes new David Aspinall defect minor
#59 Remove/check through OLD_BUG_LIST.txt new David Aspinall task minor
#457 Remove/invoke proof-shell-pre-interrupt-hook new David Aspinall task minor PG-Emacs-4.3
#448 Repair autotest load sequence so works in compiled and interpreted code accepted David Aspinall defect major PG-Emacs-4.3
#5 Replace ThreadPool with Eclipse job management new David Aspinall enhancement major
#195 Replace crufty PHP code for interpreting outline mode with some Javascript new David Aspinall enhancement minor
#25 Review in-code TODO and FIXME tasks new David Aspinall task minor
#41 Revive GEF dependency graph viewer as a separate plugin new David Aspinall enhancement major
#249 Script management error for locales; undo action failure should not generate markers assigned David Aspinall critical
#94 Selecting print mode via interface new David Aspinall enhancement minor
#351 Show/hide of proofs in Coq can hide too much accepted David Aspinall defect major PG-Emacs-4.3
#102 Simplify message model according to new RNC, change Isabelle to match new David Aspinall defect minor
#513 Splash screen disappears too quickly new David Aspinall defect minor PG-Emacs-4.4
#96 Start/stop quiet: disable these and use statedisplay instead new David Aspinall enhancement minor
#54 Support file operations save-as, rename, revert properly during script management new David Aspinall defect major
#44 Support openblock/closeblock elements in prover parse output. new David Aspinall enhancement major
#108 Support proof object searching via search dialog new David Aspinall enhancement major
#107 Support text file searching with symbol encoding/decoding new Graham Dutton enhancement minor
#29 Symbol table editing scheme: fix filename and add edit action rather than create new David Aspinall enhancement minor
#57 Symbol table editor problems: doesn't report correct status, apply is very slow new David Aspinall defect minor
#23 Test and refine capabilities/activities new Graham Dutton enhancement minor
#508 The option -emacs-U is depracated Proof General should use -emacs instead. new David Aspinall defect minor PG-Emacs-4.3
#336 Toolbar images on Mac Emacsen are super-ugly reopened David Aspinall defect minor PG-Emacs-4.3
#252 Tune script management markers new David Aspinall defect critical
#276 Unicode tokens: resolve font-lock issues, optimise accepted David Aspinall task major PG-Emacs-4.3
#149 Unify batch and incremental mode of processing new David Aspinall defect major
#364 Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) accepted David Aspinall task trivial PG-Emacs-4.3
#125 Use <askprefs> message to configure prover-specific preferences new Graham Dutton enhancement major
#122 Use Batch Build Command and Project Batch Build Command new David Aspinall enhancement major
#65 Use FindBugs to detect possible bugs new David Aspinall task major
#19 Use markers/positions for document processed and locked offsets new David Aspinall defect major
#256 Use prover-specific Preference Initialisers new David Aspinall defect minor
#45 Use workbench progress feedbacks; provide busy indications new David Aspinall enhancement major
#480 [match]es sometimes screw up indentation new David Aspinall defect minor PG-Emacs-4.3
#497 coq auto-compile and spaces in directory names lead to failure new David Aspinall defect minor PG-Emacs-4.3
#454 coq mode: compile before import fails when no .v file assigned hendrik enhancement major PG-Emacs-4.3
#498 coq-compile-before-require should allow non-source installations new David Aspinall defect major PG-Emacs-4.3
#510 coq-time-commands hangs on bullets with Coq-8.5 new David Aspinall defect minor PG-Emacs-4.3
#158 cursor positioning is wrong when sending commands accepted Graham Dutton enhancement minor
#499 delays between coq messages can cause PG to duplicate some new David Aspinall defect minor PG-Emacs-4.3
#456 initialization failure with defpacustom :eval new David Aspinall defect major PG-Emacs-4.3
#509 isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined. new David Aspinall defect minor PG-Emacs-4.3
#483 ltac: and constr: should not affect indentation new David Aspinall defect minor PG-Emacs-4.3
#273 next-error functions: document and streamline accepted David Aspinall enhancement major PG-Emacs-4.3
#464 proof script not displayed after startup new David Aspinall defect minor PG-Emacs-4.3
#465 proof script not displayed after startup new David Aspinall defect minor PG-Emacs-4.3
#481 proof-set-value does not handle errors in :eval forms of defpacustom new David Aspinall defect minor PG-Emacs-4.3
#354 synchronisation lost with "process rest" and "undo" new David Aspinall defect minor
#501 wrongly embedded pathname in ProofGeneral-4.3pre150202 new David Aspinall defect minor PG-Emacs-4.3
← 1 2
Note: See TracQuery for help on using queries.