{12} Newest Tickets (20 matches)
20 Newest Tickets.
| Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|---|
| #3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Jan 26, 2007 | ||
| #274 | Max lisp nesting exceeded on large error outputs | 2:pg-emacs | PG-Emacs-4.0 | defect | Makarius | closed | Aug 20, 2009 | |
| #154 | "restart" doesn't work | 1:pg-eclipse | defect | alex heneveld | closed | Oct 6, 2007 | ||
| #124 | Edited text doesn't update document model | 1:pg-eclipse | defect | alex heneveld | closed | Jul 5, 2007 | ||
| #86 | Fix parse edit offset | 1:pg-eclipse | defect | alex heneveld | closed | Feb 27, 2007 | ||
| #64 | Decide what to do with ProverStandalone | 1:pg-eclipse | task | alex heneveld | new | Feb 3, 2007 | ||
| #38 | Add automated testing framework | 1:pg-eclipse | enhancement | alex heneveld | new | Jan 30, 2007 | ||
| #467 | The "Time (tactic)." vernacular command no longer displays timings unless the tactic finishes the proof | 2:pg-emacs | PG-Emacs-4.3 | defect | hendrik | closed | Mar 27, 2013 | |
| #460 | proof general hanging on Coq Definition in file generated by Why3 | 2:pg-emacs | PG-Emacs-4.3 | defect | hendrik | closed | Jan 15, 2013 | |
| #454 | coq mode: compile before import fails when no .v file | 2:pg-emacs | PG-Emacs-4.3 | enhancement | hendrik | assigned | Oct 2, 2012 | |
| #259 | Parsing Failure at ends of files | 1:pg-eclipse | defect | Graham Dutton | closed | Nov 19, 2008 | ||
| #254 | a spam ticket | 2:pg-emacs | defect | Graham Dutton | closed | Sep 11, 2008 | ||
| #248 | Clear error markers at correct points (e.g., when processing text successfully) | 1:pg-eclipse | Graham Dutton | closed | Sep 4, 2008 | |||
| #244 | Comical giant icons in outline view | 1:pg-eclipse | defect | Graham Dutton | assigned | Sep 1, 2008 | ||
| #242 | Fix intro configuration (welcome page) | 1:pg-eclipse | enhancement | Graham Dutton | closed | Aug 25, 2008 | ||
| #240 | Bad behaviour in startup when proof executables (isabelle, isatool) not found | 1:pg-eclipse | defect | Graham Dutton | assigned | Aug 15, 2008 | ||
| #238 | Remove goto thread | 1:pg-eclipse | defect | Graham Dutton | closed | Aug 14, 2008 | ||
| #158 | cursor positioning is wrong when sending commands | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Oct 9, 2007 | ||
| #139 | Prover not started when run from Product | 1:pg-eclipse | defect | Graham Dutton | closed | Aug 7, 2007 | ||
| #132 | Packaging for 1.0.6/3.4 releases | 1:pg-eclipse | task | Graham Dutton | new | Jul 11, 2007 |
Note:
See TracReports for help on using and creating reports.
