Custom Query (253 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 200 of 253)

← 1 2 3 →
Ticket Summary Owner Type Priority Milestone Component
#430 Make "Set Ltac Debug" work David Aspinall enhancement major PG-Emacs-4.2 2:pg-emacs
#294 Make pg-protected-undo allow in undo in comments of locked region David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#49 Make sure File->Open produces sensible feedback when attempted with script files David Aspinall defect minor 1:pg-eclipse
#50 Make sure PG perspective is default on product startup. David Aspinall defect major documentation
#274 Max lisp nesting exceeded on large error outputs Makarius defect major PG-Emacs-4.0 2:pg-emacs
#504 Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left cpitcla enhancement minor PG-Emacs-4.3 2:pg-emacs
#109 Missing output from Coq David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#343 Missing test in proof-store-buffer-win David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#16 Move cursor and scroll during do/undo Graham Dutton defect major 1:pg-eclipse
#68 Move to Eclipse 3.3 at 3.3M5 David Aspinall task major 1:pg-eclipse
#67 Move to Java 6... David Aspinall task minor PG-Emacs-4.3 1:pg-eclipse
#363 Multiple file handling for Coq needs sensible treatment David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#348 Need to update in coq-syntax.el the keywords containing the word Local David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#197 Non-persistance of Unicode Tokens / Math Menu (Carbon Emacs 1.6.0) David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#270 Odd PG/Trac link David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#306 Odd display of sub/superscripts David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#281 Odd unicode abbreviations, notably |> David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#188 Option to treat comments as individual statements. David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#166 Out of sync on illegal escape character David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#30 Outline view should update after any parse Graham Dutton defect minor 1:pg-eclipse
#296 PG accepts garbage though Coq said "illegal begin of vernac" courtieu defect major PG-Emacs-4.2 2:pg-emacs
#494 PG incorrectly parses the result of [Fail] in some cases David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#286 PG startup crash David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#140 PG takes a long time printing module types in Coq courtieu defect major PG-Emacs-4.0 2:pg-emacs
#414 PG thinks Preterm command is not state-preserving David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#369 PG will not compile under non-windowing Emacs David Aspinall defect blocker PG-Emacs-4.0 2:pg-emacs
#56 PGActions do not always clear their status (report "someone else owns the prover") David Aspinall defect major 1:pg-eclipse
#91 PGML: add markup for subscript, superscript, bold, ... David Aspinall defect major 5:PGIP-design
#69 PGMarkerMethods: skip spaces in document before error marker start Graham Dutton defect minor 1:pg-eclipse
#259 Parsing Failure at ends of files Graham Dutton defect major 1:pg-eclipse
#387 Preferences lost when prover restarted David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#78 Preferences: support dynamically computed defaults David Aspinall enhancement trivial 1:pg-eclipse
#419 Print Fully Explicit option gets out of sync after undoing before point where it was changed David Aspinall defect minor PG-Emacs-4.3 7:prover-coq
#172 Problem with indentation in Coq mode David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#182 Problem with sub/superscript in GNU Emacs 21.4.1 (Ubuntu 7.10) David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#163 Problems with x-symbol in XEmacs 21.5.28 (latin-iso8859-2 error) David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#214 Processing of buffer sensitive to Unicode option David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#362 Proof Completed message for Coq is lost David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#492 Proof General: script management confused, couldn't find goal span for save. when evaluating past the bottom of a module that contains a theorem with the same name as the module David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#450 Proof in proof tree David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#279 Proof visibility controls broken David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#458 ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90 David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#175 ProofGeneral accidentally resets itself while scrolling David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#183 ProofGeneral crashes when displaying tracing messages David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#471 ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#202 Prover chokes on Unicode Tokens (Carbon Emacs) David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#198 Prover executable not found when running without interface script David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#139 Prover not started when run from Product Graham Dutton defect critical 1:pg-eclipse
#227 Recover active scripting modeline indicator David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#253 Refactor to allow more converter objects, investigate conversion mechanisms David Aspinall defect major 1:pg-eclipse
#220 Remove X-Symbol, XEmacs support and backward compatibility David Aspinall task blocker PG-Emacs-4.0 2:pg-emacs
#84 Remove double-quoted XML output from term display David Aspinall defect blocker 4:prover-isabelle
#238 Remove goto thread Graham Dutton defect major 1:pg-eclipse
#168 Reorganise TODO files in distribution David Aspinall task minor PG-Emacs-4.1 2:pg-emacs
#126 Repair symbol handling David Aspinall defect blocker 1:pg-eclipse
#24 Replace current undo management with document-based undo mechanism David Aspinall defect blocker 1:pg-eclipse
#278 Resolve pointer-movement issues during script management David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#229 Restore mouse and button actions in goals buffers David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#443 Retracting, editing, then re-evaluating/proving sometimes results in definitions that do not match the contents of the file David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#287 Script management flaws David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#324 Script management very slow on some platforms David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#245 Script management: parsing protocol error David Aspinall blocker 1:pg-eclipse
#110 Search Rewrite and Search About queries for Proof General/Coq David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#200 Sledgehammer output broken David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#347 Slight change in proof-store-buffer-win to enable undo in the Notepad David Aspinall enhancement minor PG-Emacs-4.0 7:prover-coq
#452 Some Isabelle options enabled but not active David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#503 Some coq output get lost for query processed just after an error stops the queue. David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#271 Special characters in Isabelle identifiers missing? David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#206 Special markup not processed in minibuffer messages (warnings etc.) David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#288 Splash screen misbehaves David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#36 Split stream for console into input/output and give input a different colour. David Aspinall enhancement minor 1:pg-eclipse
#114 Spurious "replaced xyz occurrences" messages David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#436 Starting the coq process results in an error David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#323 Strange errors of make compile concerning save-excursion/set-buffer David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#181 Strange font-lock warning/error in GNU Emacs 21.4.1 (Ubuntu 7.10) David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#180 Sub/superscript sometimes not rendered properly. David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#310 Subscripts in locked region are revealed the moment you finish a lemma David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#341 Suggestion to recover the default C-h suffix for Emacs keys help David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#422 Support for entering ellipsis in electric terminator mode David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#293 Synchronisation losses with undo-on-edit David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#379 Syntax error in ProofGeneral.desktop file David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#467 The "Time (tactic)." vernacular command no longer displays timings unless the tactic finishes the proof hendrik defect major PG-Emacs-4.3 2:pg-emacs
#161 The font-lock setup misbehaves when started via menu David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#1 Try to get trac working for Proof General web David Aspinall enhancement major 6:web-and-docs
#316 UI glitch: point still jumps about when follow-mode=never move David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#174 Unable to exit prover David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#290 Undo and delete for token input don't behave as expected David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#189 Undo does not work for diagnostic commands in proofs David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#352 Unexpected shift in toolbar buttons David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#280 Unicode Tokens: cleanups David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#311 Unicode tokens: cannot select certain fonts from menu David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#4 Use stixfonts once they become available David Aspinall enhancement major PG-Emacs-4.3 1:pg-eclipse
#440 User manual link on development page broken David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#463 Warning messages suppress error messages and make PG have incorrect behavior with Coq David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#417 Website states wrong minimal emacs version David Aspinall defect major PG-Emacs-4.1 6:web-and-docs
#415 Wrong file mentioned in installation notes David Aspinall defect trivial PG-Emacs-4.1 6:web-and-docs
#129 X-Symbol in GNU Emacs: fix support for hiding tokens \<^loc>, \<bsub>, etc David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#201 X-Symbol only half enabled (Emacs: yes, prover: no) David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#221 XEmacs 21.4.x: Isabelle logic menu broken David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#484 [Existing Instances] should be highlighted like [Existing Instance] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
← 1 2 3 →
Note: See TracQuery for help on using queries.