Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (101 - 200 of 361)

← 1 2 3 4 →
Ticket Summary Owner Type Priority Milestone Component
#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
#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
#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
#220 Remove X-Symbol, XEmacs support and backward compatibility David Aspinall task blocker 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
#222 Urgent messages override errors David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#223 \<zero> vs. \<one> tokens David Aspinall defect major PG-Emacs-3.7.1 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
#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
#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
#237 Odd behaviour of C-w in script buffers David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#241 Fix link parse and undo for <whitespace> elements. David Aspinall blocker 1:pg-eclipse
#245 Script management: parsing protocol error David Aspinall blocker 1:pg-eclipse
#253 Refactor to allow more converter objects, investigate conversion mechanisms David Aspinall defect major 1:pg-eclipse
#257 Byte Compilation fails because of comments in the completion file David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#258 Copying from response buffer also copies colour control chars David Aspinall defect major 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
#262 make jobserver unavailable 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
#264 GNU Emacs 22.2.1 (SuSE): tty fails David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#265 Cannot open load file: easymenu 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
#269 Aquamacs key bindings don't work David Aspinall defect minor 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
#272 Port identifier completion code from PG Eclipse. David Aspinall enhancement minor PG-Emacs-4.2 2:pg-emacs
#275 Overhaul script management command sending David Aspinall task major PG-Emacs-4.2 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
#281 Odd unicode abbreviations, notably |> David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#282 Emacs 23.1.1 on Mac OS: no toolbar David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#283 assert command etc.: strange movement of point David Aspinall defect 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
#289 Drawback of command wrapping in PG+Isar David Aspinall defect minor PG-Emacs-4.1 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
#291 3-Panel-mode: Strange buffer switch when loading a theory David Aspinall defect minor PG-Emacs-4.0 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
#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
#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
#299 Out of sync with Isabelle 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
#301 Ubuntu 9.10: PG menus broken David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#302 Coq mode requires hilit19.el which is not in Emacs 23 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
#304 Isabelle: trying to undo a step fails for me David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#305 High overhead David Aspinall enhancement 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
#308 Emacs 23 slow -- especially on Cygwin David Aspinall defect major 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
#312 Unicode tokens: add support for PhoX David Aspinall task major 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
#314 Duplication of some special messages David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#315 failure to show ML errors David Aspinall defect major PG-Emacs-4.0 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
#318 Report emacs bug: segfault with use of display property/font-lock David Aspinall task major 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
#321 Retract buffer broken David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#322 Isabelle: "error in process filter: Wrong number of arguments" when using tracing() in ML 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
← 1 2 3 4 →
Note: See TracQuery for help on using queries.