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
#112 Filter out control characters in shell buffer or copy from shell buffer David Aspinall defect major 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
#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
#121 Add download counter to web Graham Dutton enhancement major PG-Emacs-3.7 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
#140 PG takes a long time printing module types in Coq courtieu defect major PG-Emacs-4.0 2:pg-emacs
#143 Add XML/PGIP test scripts to Isabelle/Admin distribution David Aspinall enhancement major 4:prover-isabelle
#152 Faults with main regexps in XEmacs 21.5(b28) for Coq courtieu defect major PG-Emacs-3.7 2:pg-emacs
#154 "restart" doesn't work alex heneveld defect major 1:pg-eclipse
#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
#166 Out of sync on illegal escape character David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#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
#177 Complete Unicode Token coding system and input method David Aspinall enhancement major PG-Emacs-4.0 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
#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
#183 ProofGeneral crashes when displaying tracing messages David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#184 lib/maths-menu.el doesn't compile on XEmacs 21.4 David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#189 Undo does not work for diagnostic commands in proofs David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#193 Fix output of texi2html David Aspinall defect major PG-Emacs-4.0 6:web-and-docs
#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
#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
#204 undo stops undoing in large proofs 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
#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
#218 Add documentation for Isabelle settings David Aspinall defect major 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
#221 XEmacs 21.4.x: Isabelle logic menu broken 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
#232 Add documentation for Unicode Tokens mode 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
#234 unicode-tokens: add command to highlight unicode characters David Aspinall enhancement 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
#236 Crash when entering antiquotation David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#238 Remove goto thread Graham Dutton defect major 1:pg-eclipse
#242 Fix intro configuration (welcome page) Graham Dutton enhancement major 1:pg-eclipse
#248 Clear error markers at correct points (e.g., when processing text successfully) Graham Dutton major 1:pg-eclipse
#253 Refactor to allow more converter objects, investigate conversion mechanisms David Aspinall 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
#259 Parsing Failure at ends of files Graham Dutton defect major 1:pg-eclipse
#261 Finish support for proof-query-identifier David Aspinall defect major 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
#266 Limited hilite markup (in Isabelle) 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
#268 Hiding proofs wrong with Coq 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
#271 Special characters in Isabelle identifiers missing? David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#274 Max lisp nesting exceeded on large error outputs Makarius defect major PG-Emacs-4.0 2:pg-emacs
#277 span start vs. command start David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#278 Resolve pointer-movement issues during script management David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#279 Proof visibility controls broken David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#280 Unicode Tokens: cleanups David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#284 proof-process-buffer very slow David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#285 byte compilation David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#286 PG startup crash David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#287 Script management flaws David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#288 Splash screen misbehaves David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#290 Undo and delete for token input don't behave as expected David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#292 Goal buffer not updated on "undo" and "goto David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#293 Synchronisation losses with undo-on-edit David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#296 PG accepts garbage though Coq said "illegal begin of vernac" courtieu defect major PG-Emacs-4.2 2:pg-emacs
#297 Finding of lisp relative to the "proofgeneral" script is broken David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#298 Isabelle indentation David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#300 Emacs 22: strange keyword categorization David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#303 underlining on error sucks 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
#307 synchronization loss with interrupts David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#314 Duplication of some special messages David Aspinall defect major PG-Emacs-4.0 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
#324 Script management very slow on some platforms David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#327 Elisp stack overflow when retracting many files at once David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#330 Error raised by proof-issue-goal and proof-issue-save David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#334 Broken Keybindings for Show Me -> ... and others David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#339 Infinite loop on module print with coq-8.3 David Aspinall defect major 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
#344 proof-retract-buffer incomplete David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#346 Coq multiple keywords are wrongly colorized David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#352 Unexpected shift in toolbar buttons David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#357 Feature suggestion: function + binding to insert Coq closing tactics David Aspinall enhancement major PG-Emacs-4.1 7:prover-coq
#363 Multiple file handling for Coq needs sensible treatment David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#365 Fix three mouse bindings in proof-menu.el, pg-goals.el, and pg-vars.el David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#366 Fix documentation for mouse button commands David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#371 electric terminator mode broken David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#376 Enable and complete testing of parser cache, add to user options menu David Aspinall task major PG-Emacs-4.1 2:pg-emacs
#380 Downloaded bytecode buggy? David Aspinall defect major 2:pg-emacs
#382 coq-mode inhibits automatic saving of abbrevs David Aspinall defect major PG-Emacs-4.1 7:prover-coq
#383 no deactivation-hooks when killing fully asserted active buffer David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#384 Isabelle process killed rudely David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
← 1 2 3 →
Note: See TracQuery for help on using queries.