Custom Query (253 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (201 - 253 of 253)

← 1 2 3
Ticket Summary Owner Type Priority Milestone Component
#476 [Goal], [Proposition], [Intance], [Fixpoint], [Corollary] do not have indented proof scripts 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
#477 [Proposition] is not highlighted like [Lemma] 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
#479 [intros ??.] messes up following indentation David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#482 [lazymatch] should be highlighted and indented like [match] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#223 \<zero> vs. \<one> tokens David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#400 assert newly added text in ancestor fails David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#285 byte compilation David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#156 closing an active editor doesn't work (buggy or confusing PGRetargetableAction.setBusy()) David Aspinall defect blocker 1:pg-eclipse
#403 comment-dwim and kill-rectangle in the locked region David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#437 compilation error with LANG=C David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#449 coq electric terminator conflict David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#173 coq indenting mode gets confused by *) in proofs David Aspinall defect minor PG-Emacs-3.7 2:pg-emacs
#410 coq parsing broken since Jun 04 20:12:40 David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#412 coq parsing broken since Jun 04 20:12:40 (II) David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#382 coq-mode inhibits automatic saving of abbrevs David Aspinall defect major PG-Emacs-4.1 7:prover-coq
#207 dir symbol is void on leopard coq David Aspinall defect major PG-Emacs-3.7.1 2:pg-emacs
#399 dvi target in doc/Makefile.doc missing David Aspinall defect minor PG-Emacs-4.1 2:pg-emacs
#371 electric terminator mode broken David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#396 error in proof-shell-insert-hook docstring David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#210 input of symbols in Carbon Emacs David Aspinall enhancement major PG-Emacs-3.7.1 2:pg-emacs
#153 is "proof state" view needed anymore? David Aspinall task minor 1:pg-eclipse
#184 lib/maths-menu.el doesn't compile on XEmacs 21.4 David Aspinall defect major PG-Emacs-3.7 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
#441 make -C doc magic fails David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#262 make jobserver unavailable David Aspinall defect minor PG-Emacs-4.0 2:pg-emacs
#383 no deactivation-hooks when killing fully asserted active buffer David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#461 old manuals on website David Aspinall defect major 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
#434 phox seems completely broken David Aspinall defect critical PG-Emacs-4.3 2:pg-emacs
#284 proof-process-buffer very slow David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#344 proof-retract-buffer incomplete David Aspinall defect major PG-Emacs-4.0 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
#424 proof-shell-exit does not follow standard emacs policy with query-exit. David Aspinall defect major PG-Emacs-4.1 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
#263 proof-shell-trace-output-regexp in trace output David Aspinall defect major PG-Emacs-4.0 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
#426 proof-user-options custom group partly broken David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#155 sending past end doesn't work quite right ("undo" fails, maybe more) David Aspinall defect minor 1:pg-eclipse
#277 span start vs. command start David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#428 subsubsection links not working in PG doc David Aspinall defect critical PG-Emacs-4.2 2:pg-emacs
#451 support {} and bullets in prooftree 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
#512 test.coq target doesn't exist David Aspinall defect major 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
#470 texinfo 5.1 incompatibility David Aspinall defect minor PG-Emacs-4.3 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
#303 underlining on error sucks David Aspinall defect 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
#234 unicode-tokens: add command to highlight unicode characters David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#446 window-live-p error (coq, aquamacs) David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#435 wrong behaviour of the period David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
← 1 2 3
Note: See TracQuery for help on using queries.