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
#50 Make sure PG perspective is default on product startup. David Aspinall defect major documentation
#103 Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1) David Aspinall enhancement major PG-Emacs-3.7 7:prover-coq
#331 Coq config for proof-goal-command and proof-save-command David Aspinall enhancement minor PG-Emacs-4.0 7:prover-coq
#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
#357 Feature suggestion: function + binding to insert Coq closing tactics David Aspinall enhancement major PG-Emacs-4.1 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
#368 coq, already defined values David Aspinall defect major PG-Emacs-4.0 7:prover-coq
#382 coq-mode inhibits automatic saving of abbrevs David Aspinall defect major PG-Emacs-4.1 7:prover-coq
#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
#431 "This subproof is complete" appears at bottom of goals David Aspinall defect trivial PG-Emacs-4.2 7:prover-coq
#439 Hang on open bracket David Aspinall defect major PG-Emacs-4.2 7:prover-coq
#1 Try to get trac working for Proof General web David Aspinall enhancement major 6:web-and-docs
#52 An issue with current version of Trac David Aspinall defect minor 6:web-and-docs
#70 Add documentation for developer-recommended plugins David Aspinall task major 6:web-and-docs
#121 Add download counter to web Graham Dutton enhancement major PG-Emacs-3.7 6:web-and-docs
#171 Documentation fix for Isabelle keybindings David Aspinall defect minor PG-Emacs-3.7 6:web-and-docs
#193 Fix output of texi2html David Aspinall defect major PG-Emacs-4.0 6:web-and-docs
#415 Wrong file mentioned in installation notes David Aspinall defect trivial PG-Emacs-4.1 6:web-and-docs
#417 Website states wrong minimal emacs version David Aspinall defect major PG-Emacs-4.1 6:web-and-docs
#91 PGML: add markup for subscript, superscript, bold, ... David Aspinall defect major 5:PGIP-design
#83 Fix script parsing to produce reliable and speedy <parseresult> outputs David Aspinall defect critical 4:prover-isabelle
#84 Remove double-quoted XML output from term display David Aspinall defect blocker 4:prover-isabelle
#92 Attempt recovery from XML parse errors in PGIP main loop David Aspinall defect minor 4:prover-isabelle
#143 Add XML/PGIP test scripts to Isabelle/Admin distribution David Aspinall enhancement major 4:prover-isabelle
#162 Compatibility ProofGeneral-3.7pre071025, Isabelle, XEmacs 21.5.28 David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#174 Unable to exit prover David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#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
#189 Undo does not work for diagnostic commands in proofs David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#486 Disable long indention under quantifiers? courtieu defect minor PG-Emacs-4.3 3:pg-broker
#74 Coq: bug in electric terminator: typing '.' in comment causes comment to be sent and locked David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#88 Buffer invisibility spec bug with Emacs 22 David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#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
#112 Filter out control characters in shell buffer or copy from shell buffer David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#113 Coq commands not described in coq/coq-syntax.el David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#114 Spurious "replaced xyz occurrences" messages David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#115 Isabelle find-theorems form David Aspinall enhancement major PG-Emacs-3.7 2:pg-emacs
#116 Coq syntax highlighting: identifiers starting with "fun" are wrongly coloured David Aspinall defect trivial PG-Emacs-3.7 2:pg-emacs
#117 Add resized toolbar icons David Aspinall task minor PG-Emacs-3.7 2:pg-emacs
#118 Complete X-Symbol unicode patch and add symbol configuration for Isabelle David Aspinall enhancement major PG-Emacs-3.7.1 2:pg-emacs
#119 Fix compilation problems, missing files courtieu defect major PG-Emacs-3.7 2:pg-emacs
#120 Fix docstring magic to interpret blank lines as whitespace inside verbatim regions David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#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
#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
#140 PG takes a long time printing module types in Coq courtieu defect major PG-Emacs-4.0 2:pg-emacs
#141 Warnings missing in proof mode in Coq David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#152 Faults with main regexps in XEmacs 21.5(b28) for Coq courtieu defect major PG-Emacs-3.7 2:pg-emacs
#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
#161 The font-lock setup misbehaves when started via menu 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
#164 Error with GNU Emacs 21.4.1/C-c C-BS David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#165 Cygwin: font-lock crashes on XEmacs 21.4.20 David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#166 Out of sync on illegal escape character David Aspinall defect major PG-Emacs-4.0 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
#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
#177 Complete Unicode Token coding system and input method David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#178 Emacs occasionally hangs when doing isearch-forward. David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#179 Losing sync with interrupt David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#180 Sub/superscript sometimes not rendered properly. David Aspinall defect major PG-Emacs-3.7 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
#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
#184 lib/maths-menu.el doesn't compile on XEmacs 21.4 David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#185 Failed initialization of *trace* buffer (xemacs-21.4.x) David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#186 Failed initialization of *trace* buffer (xemacs-21.4.x) David Aspinall defect major 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
#196 Fix X-Symbol for Emacs 23 David Aspinall defect major 2:pg-emacs
#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
#198 Prover executable not found when running without interface script David Aspinall defect major PG-Emacs-3.7.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
#200 Sledgehammer output broken David Aspinall defect major PG-Emacs-3.7.1 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
#202 Prover chokes on Unicode Tokens (Carbon Emacs) David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#203 Carbon Emacs: no colouring of variables in Isabelle output David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#204 undo stops undoing in large proofs David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#205 x-symbol fails in Carbon Emacs David Aspinall defect major PG-Emacs-3.7.1 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
#207 dir symbol is void on leopard coq David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#209 Cursor not visible in *response* buffer (GNU Emacs 22 + Carbon Emacs) David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#210 input of symbols in Carbon Emacs David Aspinall enhancement major PG-Emacs-3.7.1 2:pg-emacs
#211 Coq : deactivation of the 'Holes' functionality David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#212 Carbon Emacs: strange unicode abbreviations David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#213 Carbon Emacs: strange unicode abbreviations David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#214 Processing of buffer sensitive to Unicode option David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#215 Emacs 23: toolbar issues David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
1 2 3 4 →
Note: See TracQuery for help on using queries.