Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (1 - 100 of 361)

1 2 3 4 →
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
#325 Splash buffer occupies half the frame David Aspinall defect trivial PG-Emacs-4.0 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
#431 "This subproof is complete" appears at bottom of goals David Aspinall defect trivial PG-Emacs-4.2 7:prover-coq
#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
#28 Newlines in PGIP console are lost 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
#48 Support editing proof script files outside workspace David Aspinall defect 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
#92 Attempt recovery from XML parse errors in PGIP main loop David Aspinall defect minor 4:prover-isabelle
#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
#159 Goal centering courtieu enhancement minor PG-Emacs-4.2 2:pg-emacs
#160 "Abort" keyword not recognized in Coq David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#167 GNU Emacs 22.1.1 allows only one undo in a row from the toolbar while C-c C-u works 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
#190 Improve proof shell initialisation order David Aspinall task minor PG-Emacs-4.1 2:pg-emacs
#191 Code cleanup: remove proof-no-command David Aspinall task minor PG-Emacs-4.0 2:pg-emacs
#192 Improve out-of-the-box behaviour for some common configurations David Aspinall enhancement minor PG-Emacs-4.1 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
#216 Toolbar size on Carbon Emacs David Aspinall defect minor PG-Emacs-3.7.1 2:pg-emacs
#217 Chosen logic: changes should invoke isabelle-load-isar-keywords David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#225 Allow Unicode Tokens to work smoothly for several modes at once David Aspinall enhancement minor PG-Emacs-4.2 2:pg-emacs
#226 Add configurable key bindings to Unicode Tokens tables David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#227 Recover active scripting modeline indicator David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#228 Restore tracing slow mode if necessary David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#229 Restore mouse and button actions in goals buffers David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#230 Configuration simplification: unify regexp/function settings David Aspinall task minor PG-Emacs-4.1 2:pg-emacs
#231 Consider replacing maths-menu for token mode with own version David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#257 Byte Compilation fails because of comments in the completion file David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#262 make jobserver unavailable David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#264 GNU Emacs 22.2.1 (SuSE): tty fails David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#269 Aquamacs key bindings don't work David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#272 Port identifier completion code from PG Eclipse. David Aspinall enhancement minor PG-Emacs-4.2 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
#295 Undo on edit in ML-sections 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
#313 Unicode tokens: tweak support for Coq 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
#317 Report emacs bug: overlapping visibility properties David Aspinall task minor PG-Emacs-4.1 2:pg-emacs
#319 delete would be nice if it didn't expant symbols David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#320 Processing currently gobbles comments and white space: better if it didn't David Aspinall enhancement minor PG-Emacs-4.0 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
#345 Semi-colons (';') cause outer syntax error: one command expected David Aspinall defect minor PG-Emacs-4.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
#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
#350 Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer) David Aspinall task minor PG-Emacs-4.2 2:pg-emacs
#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
#378 Makefile "make" should detect wrong bytecode file version and rebuild David Aspinall enhancement minor PG-Emacs-4.2 2:pg-emacs
#381 Report Emacs bug/issue: slow process filter behaviour on non-Linux platforms David Aspinall task minor PG-Emacs-4.3 2:pg-emacs
#390 Odd progress markers in text mode David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#392 Isabelle anti-quotation colouring obliterates symbol font setting David Aspinall defect minor PG-Emacs-4.2 2:pg-emacs
#399 dvi target in doc/Makefile.doc missing David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#402 Clean up customization groups/settings David Aspinall defect minor PG-Emacs-4.2 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
#411 wiki formatting corrupts tickets 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
#427 defpacustom and undo David Aspinall defect minor PG-Emacs-4.2 2:pg-emacs
#433 unexpected cursor position after stepping through command with terminator at line ending David Aspinall enhancement minor PG-Emacs-4.2 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
#468 Some notations with periods make PG hang 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
1 2 3 4 →
Note: See TracQuery for help on using queries.