Custom Query (253 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (1 - 100 of 253)

1 2 3 →
Ticket Summary Owner Type Priority Milestone Component
#435 wrong behaviour of the period David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#446 window-live-p error (coq, aquamacs) David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#234 unicode-tokens: add command to highlight unicode characters David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#204 undo stops undoing in large proofs David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#303 underlining on error sucks David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#444 three windows mode at pg start when a warning window David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#470 texinfo 5.1 incompatibility David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#472 texi2pdf loads Proofgeneral.pdf as image David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#512 test.coq target doesn't exist David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#307 synchronization loss with interrupts David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#451 support {} and bullets in prooftree David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#428 subsubsection links not working in PG doc David Aspinall defect critical PG-Emacs-4.2 2:pg-emacs
#277 span start vs. command start David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#155 sending past end doesn't work quite right ("undo" fails, maybe more) David Aspinall defect minor 1:pg-eclipse
#426 proof-user-options custom group partly broken David Aspinall defect major PG-Emacs-4.1 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
#263 proof-shell-trace-output-regexp in trace output David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#421 proof-shell-exit raises an exception "Buffer foo.v has no process" coquser defect critical PG-Emacs-4.1 2:pg-emacs
#424 proof-shell-exit does not follow standard emacs policy with query-exit. David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#395 proof-segment-up-to-using-cache broken since Oct 11 20:07:17 2010 +0200 David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#344 proof-retract-buffer incomplete 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
#434 phox seems completely broken David Aspinall defect critical PG-Emacs-4.3 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
#461 old manuals on website David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#383 no deactivation-hooks when killing fully asserted active buffer David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#262 make jobserver unavailable David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#441 make -C doc magic fails David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#360 link to proof general is broken and lacks helpful message David Aspinall defect blocker PG-Emacs-4.0 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
#153 is "proof state" view needed anymore? David Aspinall task minor 1:pg-eclipse
#210 input of symbols in Carbon Emacs David Aspinall enhancement major PG-Emacs-3.7.1 2:pg-emacs
#396 error in proof-shell-insert-hook docstring David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#371 electric terminator mode broken David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#399 dvi target in doc/Makefile.doc missing David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#207 dir symbol is void on leopard coq David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#382 coq-mode inhibits automatic saving of abbrevs David Aspinall defect major PG-Emacs-4.1 7:prover-coq
#412 coq parsing broken since Jun 04 20:12:40 (II) David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#410 coq parsing broken since Jun 04 20:12:40 David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#173 coq indenting mode gets confused by *) in proofs David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#449 coq electric terminator conflict David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#437 compilation error with LANG=C David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#403 comment-dwim and kill-rectangle in the locked region David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#156 closing an active editor doesn't work (buggy or confusing PGRetargetableAction.setBusy()) David Aspinall defect blocker 1:pg-eclipse
#285 byte compilation David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#400 assert newly added text in ancestor fails David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#223 \<zero> vs. \<one> tokens David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#482 [lazymatch] should be highlighted and indented like [match] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#479 [intros ??.] messes up following indentation David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#475 [exists] tactic causes improper indentation David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#477 [Proposition] is not highlighted like [Lemma] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#478 [Proof <body term>.] messes up following indentation David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#476 [Goal], [Proposition], [Intance], [Fixpoint], [Corollary] do not have indented proof scripts David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#484 [Existing Instances] should be highlighted like [Existing Instance] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#221 XEmacs 21.4.x: Isabelle logic menu 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
#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
#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
#463 Warning messages suppress error messages and make PG have incorrect behavior with Coq David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#440 User manual link on development page broken David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#4 Use stixfonts once they become available David Aspinall enhancement major PG-Emacs-4.3 1:pg-eclipse
#311 Unicode tokens: cannot select certain fonts from menu David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#280 Unicode Tokens: cleanups David Aspinall enhancement 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
#189 Undo does not work for diagnostic commands in proofs David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#290 Undo and delete for token input don't behave as expected David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#174 Unable to exit prover David Aspinall defect major PG-Emacs-3.7 4:prover-isabelle
#316 UI glitch: point still jumps about when follow-mode=never move David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#1 Try to get trac working for Proof General web David Aspinall enhancement major 6:web-and-docs
#161 The font-lock setup misbehaves when started via menu David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#467 The "Time (tactic)." vernacular command no longer displays timings unless the tactic finishes the proof hendrik defect major PG-Emacs-4.3 2:pg-emacs
#379 Syntax error in ProofGeneral.desktop file David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#293 Synchronisation losses with undo-on-edit David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#422 Support for entering ellipsis in electric terminator mode David Aspinall enhancement minor PG-Emacs-4.1 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
#310 Subscripts in locked region are revealed the moment you finish a lemma David Aspinall defect minor 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
#323 Strange errors of make compile concerning save-excursion/set-buffer David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#436 Starting the coq process results in an error David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#114 Spurious "replaced xyz occurrences" messages David Aspinall defect major PG-Emacs-3.7 2:pg-emacs
#36 Split stream for console into input/output and give input a different colour. David Aspinall enhancement minor 1:pg-eclipse
#288 Splash screen misbehaves David Aspinall defect major PG-Emacs-4.0 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
#271 Special characters in Isabelle identifiers missing? David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#503 Some coq output get lost for query processed just after an error stops the queue. David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#452 Some Isabelle options enabled but not active David Aspinall defect major PG-Emacs-4.3 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
#200 Sledgehammer output broken David Aspinall defect major PG-Emacs-3.7.1 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
#245 Script management: parsing protocol error David Aspinall blocker 1:pg-eclipse
#324 Script management very slow on some platforms David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#287 Script management flaws David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#443 Retracting, editing, then re-evaluating/proving sometimes results in definitions that do not match the contents of the file David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#229 Restore mouse and button actions in goals buffers David Aspinall enhancement minor 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
#24 Replace current undo management with document-based undo mechanism David Aspinall defect blocker 1:pg-eclipse
#126 Repair symbol handling David Aspinall defect blocker 1:pg-eclipse
#168 Reorganise TODO files in distribution David Aspinall task minor PG-Emacs-4.1 2:pg-emacs
1 2 3 →
Note: See TracQuery for help on using queries.