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
#331 Coq config for proof-goal-command and proof-save-command David Aspinall enhancement minor PG-Emacs-4.0 7:prover-coq
#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
#340 Key binding syntax in proof-splash.el David Aspinall defect minor 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
#342 Distracting error (actually raised by coq-command-at-point) David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#343 Missing test in proof-store-buffer-win David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#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
#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
#348 Need to update in coq-syntax.el the keywords containing the word Local David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#352 Unexpected shift in toolbar buttons David Aspinall defect major PG-Emacs-4.0 2:pg-emacs
#356 Coq identifiers are unexpectedly colorized David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#359 Fix coq.el bindings (coq-insert-term, proof-store-goals-win, & coq-SearchAbout) David Aspinall defect minor PG-Emacs-4.0 7:prover-coq
#360 link to proof general is broken and lacks helpful message David Aspinall defect blocker PG-Emacs-4.0 2:pg-emacs
#362 Proof Completed message for Coq is lost David Aspinall defect minor PG-Emacs-4.0 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
#369 PG will not compile under non-windowing Emacs David Aspinall defect blocker PG-Emacs-4.0 2:pg-emacs
#168 Reorganise TODO files in distribution David Aspinall task minor PG-Emacs-4.1 2:pg-emacs
#279 Proof visibility controls broken David Aspinall defect major PG-Emacs-4.1 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
#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
#311 Unicode tokens: cannot select certain fonts from menu David Aspinall defect minor PG-Emacs-4.1 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
#324 Script management very slow on some platforms David Aspinall defect major PG-Emacs-4.1 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
#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
#379 Syntax error in ProofGeneral.desktop file David Aspinall defect trivial 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
#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
#386 Coq goals counter not reset on backtracking out of proof courtieu defect major PG-Emacs-4.1 2:pg-emacs
#387 Preferences lost when prover restarted David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#394 Coq "Library" keyword - incorrect coloring courtieu defect trivial 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
#396 error in proof-shell-insert-hook docstring David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#397 Coq PG: changing scripting buffer and automatically restarting misses first command David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#398 Compilation failure with mmm and Emacs development version 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
#400 assert newly added text in ancestor fails David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#403 comment-dwim and kill-rectangle in the locked region David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#404 Coq parse error with undelimited comment 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
#408 Auto compile fails if coq-compile-response-buffer has been killed David Aspinall defect minor 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
#412 coq parsing broken since Jun 04 20:12:40 (II) David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#414 PG thinks Preterm command is not state-preserving David Aspinall defect trivial PG-Emacs-4.1 2:pg-emacs
#415 Wrong file mentioned in installation notes David Aspinall defect trivial PG-Emacs-4.1 6:web-and-docs
#416 Emacs indentation can go into an infinite loop David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#417 Website states wrong minimal emacs version David Aspinall defect major PG-Emacs-4.1 6:web-and-docs
#418 Emacs is not responding after typing `Case "".<newline>` David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#420 Another Emacs indentation freeze 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
#422 Support for entering ellipsis in electric terminator mode David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#423 List customisation variables use wrong widget David Aspinall defect minor 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
#426 proof-user-options custom group partly broken David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#138 Can't insert text after locking a comment David Aspinall defect minor PG-Emacs-4.2 2:pg-emacs
#296 PG accepts garbage though Coq said "illegal begin of vernac" courtieu defect major PG-Emacs-4.2 2:pg-emacs
#428 subsubsection links not working in PG doc David Aspinall defect critical PG-Emacs-4.2 2:pg-emacs
#430 Make "Set Ltac Debug" work David Aspinall enhancement major PG-Emacs-4.2 2:pg-emacs
#432 Add documentation of *trace* buffer to PG Adapting manual David Aspinall task major PG-Emacs-4.2 2:pg-emacs
#435 wrong behaviour of the period David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#436 Starting the coq process results in an error 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
#440 User manual link on development page broken David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#441 make -C doc magic fails David Aspinall defect major PG-Emacs-4.2 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
#444 three windows mode at pg start when a warning window 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
#450 Proof in proof tree 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
#67 Move to Java 6... David Aspinall task minor PG-Emacs-4.3 1:pg-eclipse
#419 Print Fully Explicit option gets out of sync after undoing before point where it was changed David Aspinall defect minor PG-Emacs-4.3 7:prover-coq
#434 phox seems completely broken David Aspinall defect critical PG-Emacs-4.3 2:pg-emacs
#446 window-live-p error (coq, aquamacs) David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#451 support {} and bullets in prooftree David Aspinall defect major 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
#458 ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90 David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#461 old manuals on website David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#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
#466 parentheses in comments should not affect indentation level of non-comment code David Aspinall defect minor PG-Emacs-4.3 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
#470 texinfo 5.1 incompatibility David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#471 ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz 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
#473 Indentation screwed up by "/." (not by "/ .") in, e.g., [Arguments foo /.] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#474 Indentation screwed up in sigT notations ("{ _ : _ & _ }") spanning multiple lines courtieu 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
#476 [Goal], [Proposition], [Intance], [Fixpoint], [Corollary] do not have indented proof scripts 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
#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
#484 [Existing Instances] should be highlighted like [Existing Instance] David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
← 1 2 3 →
Note: See TracQuery for help on using queries.