{12} Newest Tickets (20 matches)
20 Newest Tickets.
| Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|---|
| #102 | Simplify message model according to new RNC, change Isabelle to match | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #101 | Add scriptreplace and menu choice interaction | 5:PGIP-design | enhancement | David Aspinall | new | Mar 10, 2007 | ||
| #100 | Make sure that large volumes of data can be handled by all parts of infrastructure | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #99 | Reliable interrupts | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #98 | PGML changes: complete update for PGML 2.0 | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #97 | Add Pretty.markup to parse tree output | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #96 | Start/stop quiet: disable these and use statedisplay instead | 4:prover-isabelle | enhancement | David Aspinall | new | Mar 10, 2007 | ||
| #95 | Refine spuriouscmd into two: destructivecmd and diagnosticcmd | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #94 | Selecting print mode via interface | 5:PGIP-design | enhancement | David Aspinall | new | Mar 10, 2007 | ||
| #93 | Propagate position information in errors to make available to interface | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #92 | Attempt recovery from XML parse errors in PGIP main loop | 4:prover-isabelle | defect | David Aspinall | closed | Mar 10, 2007 | ||
| #91 | PGML: add markup for subscript, superscript, bold, ... | 5:PGIP-design | defect | David Aspinall | closed | Mar 2, 2007 | ||
| #90 | Folding Improvements | 1:pg-eclipse | defect | David Aspinall | new | Feb 28, 2007 | ||
| #89 | Remove tabs from Isabelle source files (theories, at least) | 4:prover-isabelle | defect | David Aspinall | new | Feb 28, 2007 | ||
| #88 | Buffer invisibility spec bug with Emacs 22 | 2:pg-emacs | PG-Emacs-3.7 | defect | David Aspinall | closed | Feb 27, 2007 | |
| #87 | Add support for indentation in proof script editor | 1:pg-eclipse | enhancement | Graham Dutton | new | Feb 27, 2007 | ||
| #86 | Fix parse edit offset | 1:pg-eclipse | defect | alex heneveld | closed | Feb 27, 2007 | ||
| #85 | Outline view improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 27, 2007 | ||
| #84 | Remove double-quoted XML output from term display | 4:prover-isabelle | defect | David Aspinall | closed | Feb 27, 2007 | ||
| #83 | Fix script parsing to produce reliable and speedy <parseresult> outputs | 4:prover-isabelle | defect | David Aspinall | closed | Feb 25, 2007 |
Note:
See TracReports for help on using and creating reports.
