Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (201 - 300 of 361)

← 1 2 3 4 →
Ticket Summary Owner Type Priority Milestone Component
#275 Overhaul script management command sending David Aspinall task major PG-Emacs-4.2 2:pg-emacs
#274 Max lisp nesting exceeded on large error outputs Makarius defect major 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
#271 Special characters in Isabelle identifiers missing? David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#270 Odd PG/Trac link David Aspinall defect major 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
#268 Hiding proofs wrong with Coq David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#267 Isabelle sendback markup dysfunctional David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#266 Limited hilite markup (in Isabelle) David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#265 Cannot open load file: easymenu David Aspinall defect major 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
#263 proof-shell-trace-output-regexp in trace output David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#262 make jobserver unavailable David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#261 Finish support for proof-query-identifier David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#259 Parsing Failure at ends of files Graham Dutton defect major 1:pg-eclipse
#258 Copying from response buffer also copies colour control chars David Aspinall defect major PG-Emacs-4.0 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
#254 a spam ticket Graham Dutton defect major 2:pg-emacs
#253 Refactor to allow more converter objects, investigate conversion mechanisms David Aspinall defect major 1:pg-eclipse
#248 Clear error markers at correct points (e.g., when processing text successfully) Graham Dutton major 1:pg-eclipse
#245 Script management: parsing protocol error David Aspinall blocker 1:pg-eclipse
#242 Fix intro configuration (welcome page) Graham Dutton enhancement major 1:pg-eclipse
#241 Fix link parse and undo for <whitespace> elements. David Aspinall blocker 1:pg-eclipse
#238 Remove goto thread Graham Dutton defect major 1:pg-eclipse
#237 Odd behaviour of C-w in script buffers David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#236 Crash when entering antiquotation David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#235 Emacs forgets unicode tokens option David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#234 unicode-tokens: add command to highlight unicode characters David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#233 Coq fails to start David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#232 Add documentation for Unicode Tokens mode David Aspinall enhancement major PG-Emacs-4.0 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
#230 Configuration simplification: unify regexp/function settings David Aspinall task 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
#228 Restore tracing slow mode if necessary 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
#226 Add configurable key bindings to Unicode Tokens tables David Aspinall enhancement 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
#224 X-Symbol on Carbon Emacs 1.6.0: problem with sub/superscripts David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#223 \<zero> vs. \<one> tokens David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#222 Urgent messages override errors David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#221 XEmacs 21.4.x: Isabelle logic menu broken David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#220 Remove X-Symbol, XEmacs support and backward compatibility David Aspinall task blocker PG-Emacs-4.0 2:pg-emacs
#219 Fix path loading for docstring magic in ProofGeneral.texi David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#218 Add documentation for Isabelle settings David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#217 Chosen logic: changes should invoke isabelle-load-isar-keywords David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#216 Toolbar size on Carbon Emacs David Aspinall defect minor 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
#214 Processing of buffer sensitive to Unicode option 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
#212 Carbon Emacs: strange unicode abbreviations David Aspinall defect 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
#210 input of symbols in Carbon Emacs David Aspinall enhancement 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
#207 dir symbol is void on leopard coq 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
#205 x-symbol fails in Carbon Emacs 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
#203 Carbon Emacs: no colouring of variables in Isabelle output 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
#201 X-Symbol only half enabled (Emacs: yes, prover: no) David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#200 Sledgehammer output broken 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
#198 Prover executable not found when running without interface script David Aspinall defect major PG-Emacs-3.7.1 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
#196 Fix X-Symbol for Emacs 23 David Aspinall defect major 2:pg-emacs
#193 Fix output of texi2html David Aspinall defect major PG-Emacs-4.0 6:web-and-docs
#192 Improve out-of-the-box behaviour for some common configurations David Aspinall enhancement 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
#190 Improve proof shell initialisation order David Aspinall task minor 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
#188 Option to treat comments as individual statements. David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#187 If sent command fails, don't move the cursor. David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#186 Failed initialization of *trace* buffer (xemacs-21.4.x) 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
#184 lib/maths-menu.el doesn't compile on XEmacs 21.4 David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#183 ProofGeneral crashes when displaying tracing messages David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#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
#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
#179 Losing sync with interrupt David Aspinall defect 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
#177 Complete Unicode Token coding system and input method David Aspinall enhancement major PG-Emacs-4.0 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
#175 ProofGeneral accidentally resets itself while scrolling 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
#173 coq indenting mode gets confused by *) in proofs David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#172 Problem with indentation in Coq mode David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#171 Documentation fix for Isabelle keybindings David Aspinall defect minor PG-Emacs-3.7 6:web-and-docs
#170 Improve outline syntax for Isar David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#168 Reorganise TODO files in distribution David Aspinall task minor PG-Emacs-4.1 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
#166 Out of sync on illegal escape character David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#165 Cygwin: font-lock crashes on XEmacs 21.4.20 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
#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
#162 Compatibility ProofGeneral-3.7pre071025, Isabelle, XEmacs 21.5.28 David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#161 The font-lock setup misbehaves when started via menu David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#160 "Abort" keyword not recognized in Coq David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#159 Goal centering courtieu enhancement minor PG-Emacs-4.2 2:pg-emacs
#157 undo sometimes incorrectly tries to undo a larger container than is appropriate David Aspinall defect critical 1:pg-eclipse
← 1 2 3 4 →
Note: See TracQuery for help on using queries.