Custom Query (253 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (1 - 100 of 253)

1 2 3 →
Ticket Summary Owner Type Priority Milestone Component
#78 Preferences: support dynamically computed defaults David Aspinall enhancement trivial 1:pg-eclipse
#116 Coq syntax highlighting: identifiers starting with "fun" are wrongly coloured David Aspinall defect trivial PG-Emacs-3.7 2:pg-emacs
#379 Syntax error in ProofGeneral.desktop file David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#394 Coq "Library" keyword - incorrect coloring courtieu defect trivial PG-Emacs-4.1 2:pg-emacs
#396 error in proof-shell-insert-hook docstring David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#414 PG thinks Preterm command is not state-preserving David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#415 Wrong file mentioned in installation notes David Aspinall defect trivial PG-Emacs-4.1 6:web-and-docs
#8 Cleanup active script handling in actions David Aspinall defect minor 1:pg-eclipse
#15 Concurrency fixes in GetCommandResponseAction David Aspinall defect minor 1:pg-eclipse
#30 Outline view should update after any parse Graham Dutton defect minor 1:pg-eclipse
#36 Split stream for console into input/output and give input a different colour. David Aspinall enhancement minor 1:pg-eclipse
#49 Make sure File->Open produces sensible feedback when attempted with script files David Aspinall defect minor 1:pg-eclipse
#52 An issue with current version of Trac David Aspinall defect minor 6:web-and-docs
#67 Move to Java 6... David Aspinall task minor PG-Emacs-4.3 1:pg-eclipse
#69 PGMarkerMethods: skip spaces in document before error marker start Graham Dutton defect minor 1:pg-eclipse
#113 Coq commands not described in coq/coq-syntax.el David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#117 Add resized toolbar icons David Aspinall task minor PG-Emacs-3.7 2:pg-emacs
#131 Add preference setting for interrupt command David Aspinall enhancement minor 1:pg-eclipse
#137 Add output highlighting/insert support for Isar and sledgehammer ("Sendback") David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#138 Can't insert text after locking a comment David Aspinall defect minor PG-Emacs-4.2 2:pg-emacs
#153 is "proof state" view needed anymore? David Aspinall task minor 1:pg-eclipse
#155 sending past end doesn't work quite right ("undo" fails, maybe more) David Aspinall defect minor 1:pg-eclipse
#160 "Abort" keyword not recognized in Coq David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#168 Reorganise TODO files in distribution David Aspinall task minor PG-Emacs-4.1 2:pg-emacs
#170 Improve outline syntax for Isar David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#171 Documentation fix for Isabelle keybindings David Aspinall defect minor PG-Emacs-3.7 6:web-and-docs
#172 Problem with indentation in Coq mode David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#173 coq indenting mode gets confused by *) in proofs David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#176 Allow isabelle-chosen-logic to be set by variable comment in thy file David Aspinall enhancement minor PG-Emacs-3.7.1 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
#187 If sent command fails, don't move the cursor. David Aspinall enhancement 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
#191 Code cleanup: remove proof-no-command David Aspinall task minor PG-Emacs-4.0 2:pg-emacs
#199 Allow use of Isabelle.command to wrap commands singly David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#211 Coq : deactivation of the 'Holes' functionality David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#227 Recover active scripting modeline indicator David Aspinall enhancement minor 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
#262 make jobserver unavailable David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#281 Odd unicode abbreviations, notably |> David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#289 Drawback of command wrapping in PG+Isar David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#291 3-Panel-mode: Strange buffer switch when loading a theory David Aspinall defect minor PG-Emacs-4.0 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
#309 -p option (Isar interface) does not permit additional parameters to emacs executable David Aspinall defect minor PG-Emacs-4.0 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
#311 Unicode tokens: cannot select certain fonts from menu David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#316 UI glitch: point still jumps about when follow-mode=never move David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#331 Coq config for proof-goal-command and proof-save-command David Aspinall enhancement minor PG-Emacs-4.0 7:prover-coq
#340 Key binding syntax in proof-splash.el David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#342 Distracting error (actually raised by coq-command-at-point) David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#343 Missing test in proof-store-buffer-win David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#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
#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
#356 Coq identifiers are unexpectedly colorized David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#359 Fix coq.el bindings (coq-insert-term, proof-store-goals-win, & coq-SearchAbout) David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#362 Proof Completed message for Coq is lost David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#399 dvi target in doc/Makefile.doc missing David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#407 proof-undo-and-delete-last-successful-command does not meet spec David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#408 Auto compile fails if coq-compile-response-buffer has been killed David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#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
#422 Support for entering ellipsis in electric terminator mode David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#423 List customisation variables use wrong widget David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#466 parentheses in comments should not affect indentation level of non-comment code David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#470 texinfo 5.1 incompatibility David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#471 ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#472 texi2pdf loads Proofgeneral.pdf as image David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#473 Indentation screwed up by "/." (not by "/ .") in, e.g., [Arguments foo /.] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#474 Indentation screwed up in sigT notations ("{ _ : _ & _ }") spanning multiple lines courtieu defect minor PG-Emacs-4.3 2:pg-emacs
#475 [exists] tactic causes improper indentation David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#476 [Goal], [Proposition], [Intance], [Fixpoint], [Corollary] do not have indented proof scripts David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#477 [Proposition] is not highlighted like [Lemma] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#478 [Proof <body term>.] messes up following indentation David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#479 [intros ??.] messes up following indentation David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#482 [lazymatch] should be highlighted and indented like [match] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#484 [Existing Instances] should be highlighted like [Existing Instance] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#485 "Time commands" option offsets the cursor when errors are reported David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#486 Disable long indention under quantifiers? courtieu defect minor PG-Emacs-4.3 3:pg-broker
#487 Coq syntax highlighting: Proposition David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#489 Electric Terminator mode breaks desktop-save-mode David Aspinall defect minor PG-Emacs-4.3 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
#500 Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG 4.2, Mac OS 10.10.2, Aquamacs 3.2) David Aspinall defect minor 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
#504 Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left cpitcla enhancement minor PG-Emacs-4.3 2:pg-emacs
#505 Fix indentation of lazymatch in Coq cpitcla enhancement minor PG-Emacs-4.3 2:pg-emacs
#1 Try to get trac working for Proof General web David Aspinall enhancement major 6:web-and-docs
#4 Use stixfonts once they become available David Aspinall enhancement major PG-Emacs-4.3 1:pg-eclipse
#6 Add code folding for proof scripts David Aspinall enhancement major 1:pg-eclipse
#7 Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. Graham Dutton enhancement major 1:pg-eclipse
#16 Move cursor and scroll during do/undo Graham Dutton defect major 1:pg-eclipse
#20 Fix ProofScriptEditor to change symbols cleanly David Aspinall defect major 1:pg-eclipse
#50 Make sure PG perspective is default on product startup. David Aspinall defect major documentation
#56 PGActions do not always clear their status (report "someone else owns the prover") David Aspinall defect major 1:pg-eclipse
#63 Improve symbols: fill out default table, add ascii-symbol completion David Aspinall enhancement major 1:pg-eclipse
#68 Move to Eclipse 3.3 at 3.3M5 David Aspinall task major 1:pg-eclipse
#70 Add documentation for developer-recommended plugins David Aspinall task major 6:web-and-docs
#71 Add Error Decoration to documents; optimise Active Script Decoration Graham Dutton enhancement major 1:pg-eclipse
#91 PGML: add markup for subscript, superscript, bold, ... David Aspinall defect major 5:PGIP-design
#103 Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1) David Aspinall enhancement major PG-Emacs-3.7 7:prover-coq
#109 Missing output from Coq David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#110 Search Rewrite and Search About queries for Proof General/Coq David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#111 Centering the goal window on the right part of the goals David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
1 2 3 →
Note: See TracQuery for help on using queries.