{6} All Tickets By Milestone (Including closed) (510 matches)
A more complex example to show how to make advanced reports.
Results (1 - 100 of 510)
PG-Emacs-4.4 (3 matches)
Ticket | Summary | Component | Status | Resolution | Version | Type | Priority | Owner | Modified | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
#462 | Improve library bundling | 2:pg-emacs | new | defect | minor | David Aspinall | Mar 13, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#513 | Splash screen disappears too quickly | 2:pg-emacs | new | defect | minor | David Aspinall | May 3, 2016 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#511 | new Coq command "From" supported by PG? | 2:pg-emacs | closed | invalid | defect | blocker | David Aspinall | Apr 28, 2016 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
PG-Emacs-4.3 (81 matches) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ticket | Summary | Component | Status | Resolution | Version | Type | Priority | Owner | Modified | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#169 | Complete buffer history enhancement | 2:pg-emacs | assigned | enhancement | major | David Aspinall | Apr 18, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#273 | next-error functions: document and streamline | 2:pg-emacs | accepted | enhancement | major | David Aspinall | Sep 25, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#276 | Unicode tokens: resolve font-lock issues, optimise | 2:pg-emacs | accepted | task | major | David Aspinall | Apr 27, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#351 | Show/hide of proofs in Coq can hide too much | 2:pg-emacs | accepted | defect | major | David Aspinall | Aug 9, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#367 | Fix web pages and update screenshots | 2:pg-emacs | accepted | task | major | David Aspinall | Aug 9, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#377 | Electric-terminator mode next line movement changed | 2:pg-emacs | reopened | defect | major | David Aspinall | Jun 22, 2014 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#425 | Consider simplifying span amalgamation to match prover undo behaviour | 2:pg-emacs | accepted | task | major | David Aspinall | Apr 18, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#429 | Coq should support *trace* buffer for idtac output | 2:pg-emacs | reopened | enhancement | major | David Aspinall | May 7, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#448 | Repair autotest load sequence so works in compiled and interpreted code | 2:pg-emacs | accepted | defect | major | David Aspinall | Sep 14, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#454 | coq mode: compile before import fails when no .v file | 2:pg-emacs | assigned | enhancement | major | hendrik | Jul 4, 2013 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#456 | initialization failure with defpacustom :eval | 2:pg-emacs | new | defect | major | David Aspinall | Jul 4, 2013 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#498 | coq-compile-before-require should allow non-source installations | 7:prover-coq | new | defect | major | David Aspinall | May 7, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#208 | Generalise Coq's modeline subgoal counter for other provers | 2:pg-emacs | accepted | enhancement | minor | David Aspinall | Sep 25, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#336 | Toolbar images on Mac Emacsen are super-ugly | 2:pg-emacs | reopened | defect | minor | David Aspinall | Aug 14, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#361 | Generic adjustment of prover's pretty-printing width | 2:pg-emacs | accepted | task | minor | David Aspinall | Apr 18, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#385 | Isabelle theorem dependencies display broken | 2:pg-emacs | accepted | defect | minor | David Aspinall | Aug 14, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#401 | Parser cache does not respect fly-past-comments | 2:pg-emacs | accepted | defect | minor | David Aspinall | Aug 14, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#457 | Remove/invoke proof-shell-pre-interrupt-hook | 2:pg-emacs | new | task | minor | David Aspinall | Nov 14, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#464 | proof script not displayed after startup | 2:pg-emacs | new | defect | minor | David Aspinall | Feb 19, 2013 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#465 | proof script not displayed after startup | 2:pg-emacs | new | defect | minor | David Aspinall | Feb 19, 2013 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#480 | [match]es sometimes screw up indentation | 2:pg-emacs | new | defect | minor | David Aspinall | Jul 13, 2013 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#481 | proof-set-value does not handle errors in :eval forms of defpacustom | 2:pg-emacs | new | defect | minor | David Aspinall | Jul 17, 2013 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#483 | ltac: and constr: should not affect indentation | 2:pg-emacs | new | defect | minor | David Aspinall | Aug 27, 2013 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#490 | Bad parsing of .} | 2:pg-emacs | new | defect | minor | David Aspinall | Mar 11, 2014 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#496 | Aquamacs point moving | 2:pg-emacs | new | defect | minor | David Aspinall | Dec 9, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#497 | coq auto-compile and spaces in directory names lead to failure | 2:pg-emacs | new | defect | minor | David Aspinall | Oct 4, 2014 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#499 | delays between coq messages can cause PG to duplicate some | 2:pg-emacs | new | defect | minor | David Aspinall | Oct 19, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#501 | wrongly embedded pathname in ProofGeneral-4.3pre150202 | 2:pg-emacs | new | defect | minor | David Aspinall | May 7, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#506 | Please add Proof IDE support to emacs PG | 2:pg-emacs | new | enhancement | minor | David Aspinall | Jun 3, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#507 | PG for Coq does not interpret quotes within comments like Coq does | 2:pg-emacs | new | defect | minor | David Aspinall | Aug 29, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#508 | The option -emacs-U is depracated Proof General should use -emacs instead. | 2:pg-emacs | new | defect | minor | David Aspinall | Oct 21, 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#509 | isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined. | 2:pg-emacs | new | defect | minor | David Aspinall | Feb 2, 2016 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#510 | coq-time-commands hangs on bullets with Coq-8.5 | 2:pg-emacs | new | defect | minor | David Aspinall | Mar 15, 2016 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#514 | Emacs org-mode integration | 2:pg-emacs | new | enhancement | minor | David Aspinall | Aug 1, 2022 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#364 | Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) | 2:pg-emacs | accepted | task | trivial | David Aspinall | Apr 18, 2012 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#434 | phox seems completely broken | 2:pg-emacs | closed | fixed | defect | critical | David Aspinall | Jan 17, 2017 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#512 | test.coq target doesn't exist | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | May 3, 2016 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#494 | PG incorrectly parses the result of [Fail] in some cases | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | May 7, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#493 | ProofGeneral stalls/loops on ... | 2:pg-emacs | closed | wontfix | defect | minor | David Aspinall | May 7, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#492 | Proof General: script management confused, couldn't find goal span for save. when evaluating past the bottom of a module that contains a theorem with the same name as the module | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | May 7, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#460 | proof general hanging on Coq Definition in file generated by Why3 | 2:pg-emacs | closed | worksforme | defect | major | hendrik | May 7, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#484 | [Existing Instances] should be highlighted like [Existing Instance] | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | May 7, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#491 | Print Implicit not available as emacs command | 2:pg-emacs | closed | wontfix | defect | minor | David Aspinall | May 7, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#485 | "Time commands" option offsets the cursor when errors are reported | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | May 7, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#486 | Disable long indention under quantifiers? | 3:pg-broker | closed | fixed | defect | minor | courtieu | May 7, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#479 | [intros ??.] messes up following indentation | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Apr 27, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#482 | [lazymatch] should be highlighted and indented like [match] | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Apr 27, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#504 | Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left | 2:pg-emacs | closed | fixed | enhancement | minor | cpitcla | Apr 27, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#505 | Fix indentation of lazymatch in Coq | 2:pg-emacs | closed | fixed | enhancement | minor | cpitcla | Apr 27, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#489 | Electric Terminator mode breaks desktop-save-mode | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Mar 13, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#500 | Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG 4.2, Mac OS 10.10.2, Aquamacs 3.2) | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Mar 13, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#502 | Latest Makefile change breaks things everywhere except Mac | 2:pg-emacs | closed | fixed | defect | blocker | David Aspinall | Mar 13, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#503 | Some coq output get lost for query processed just after an error stops the queue. | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Mar 9, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#463 | Warning messages suppress error messages and make PG have incorrect behavior with Coq | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Mar 9, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#495 | Goals buffer aggressively cleared with Coq pre-8.5 | 2:pg-emacs | closed | invalid | defect | minor | David Aspinall | Sep 6, 2014 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#487 | Coq syntax highlighting: Proposition | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Dec 27, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#452 | Some Isabelle options enabled but not active | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Jul 18, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#467 | The "Time (tactic)." vernacular command no longer displays timings unless the tactic finishes the proof | 2:pg-emacs | closed | fixed | defect | major | hendrik | Jul 17, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#478 | [Proof <body term>.] messes up following indentation | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Jul 10, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#476 | [Goal], [Proposition], [Intance], [Fixpoint], [Corollary] do not have indented proof scripts | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Jul 10, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#477 | [Proposition] is not highlighted like [Lemma] | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Jul 10, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#475 | [exists] tactic causes improper indentation | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Jul 10, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#466 | parentheses in comments should not affect indentation level of non-comment code | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Jul 8, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#474 | Indentation screwed up in sigT notations ("{ _ : _ & _ }") spanning multiple lines | 2:pg-emacs | closed | fixed | defect | minor | courtieu | Jul 6, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#473 | Indentation screwed up by "/." (not by "/ .") in, e.g., [Arguments foo /.] | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | Jul 6, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#469 | coqgeneral 4.3pre130327 does not compile with Emacs 24.3 | 2:pg-emacs | closed | duplicate | defect | blocker | David Aspinall | May 22, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#458 | ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90 | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | May 22, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#472 | texi2pdf loads Proofgeneral.pdf as image | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | May 22, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#468 | Some notations with periods make PG hang | 2:pg-emacs | closed | wontfix | defect | minor | David Aspinall | May 22, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#470 | texinfo 5.1 incompatibility | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | May 22, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#471 | ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz | 2:pg-emacs | closed | fixed | defect | minor | David Aspinall | May 22, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#67 | Move to Java 6... | 1:pg-eclipse | closed | fixed | task | minor | David Aspinall | Apr 16, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#4 | Use stixfonts once they become available | 1:pg-eclipse | closed | fixed | enhancement | major | David Aspinall | Apr 16, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#459 | Can not split the window vertically | 2:pg-emacs | closed | wontfix | defect | major | David Aspinall | Apr 15, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#455 | Emacs trunk BZR sometimes hangs when using auto fill mode with PG Coq | 2:pg-emacs | closed | upstream | defect | major | David Aspinall | Mar 14, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#461 | old manuals on website | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Jan 28, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#451 | support {} and bullets in prooftree | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Jan 17, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#419 | Print Fully Explicit option gets out of sync after undoing before point where it was changed | 7:prover-coq | closed | fixed | defect | minor | David Aspinall | Sep 25, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#446 | window-live-p error (coq, aquamacs) | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Sep 25, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#442 | Emacs 24 and long inputs | 2:pg-emacs | closed | duplicate | defect | major | David Aspinall | Sep 14, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#381 | Report Emacs bug/issue: slow process filter behaviour on non-Linux platforms | 2:pg-emacs | closed | wontfix | task | minor | David Aspinall | Aug 14, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
PG-Emacs-4.2 (16 matches) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ticket | Summary | Component | Status | Resolution | Version | Type | Priority | Owner | Modified | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#438 | Startup failure on Emacs 23 | 2:pg-emacs | closed | wontfix | defect | major | David Aspinall | Feb 27, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#440 | User manual link on development page broken | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Sep 14, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#453 | Sending too-large definitions gets stuck | 2:pg-emacs | closed | upstream | defect | major | David Aspinall | Sep 14, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#447 | Proof General stalls on long Ltac (Coq) | 2:pg-emacs | closed | duplicate | defect | major | David Aspinall | Sep 14, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#450 | Proof in proof tree | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Sep 12, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#449 | coq electric terminator conflict | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Sep 10, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#445 | Proof General (or coqtop?) barfs on "Arguments foo / ..." | 2:pg-emacs | closed | worksforme | defect | major | David Aspinall | Sep 10, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#296 | PG accepts garbage though Coq said "illegal begin of vernac" | 2:pg-emacs | closed | fixed | defect | major | courtieu | Sep 10, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#444 | three windows mode at pg start when a warning window | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Sep 6, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#443 | Retracting, editing, then re-evaluating/proving sometimes results in definitions that do not match the contents of the file | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Aug 15, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#392 | Isabelle anti-quotation colouring obliterates symbol font setting | 2:pg-emacs | closed | wontfix | defect | minor | David Aspinall | Aug 14, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#159 | Goal centering | 2:pg-emacs | closed | wontfix | enhancement | minor | courtieu | Aug 14, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#441 | make -C doc magic fails | 2:pg-emacs | closed | fixed | defect | major | David Aspinall | Aug 9, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#409 | Problem with wide unicode characters in emacs 23.3 | 2:pg-emacs | closed | upstream | defect | major | David Aspinall | Apr 30, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#439 | Hang on open bracket | 7:prover-coq | closed | invalid | defect | major | David Aspinall | Apr 29, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#402 | Clean up customization groups/settings | 2:pg-emacs | closed | wontfix | defect | minor | David Aspinall | Apr 18, 2012 |
Note:
See TracReports for help on using and creating reports.