{14} Active Tickets ordered by change time (149 matches)
- List all active tickets by priority.
- Color each row based on priority.
Results (101 - 149 of 149)
Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Modified |
---|---|---|---|---|---|---|---|---|
#23 | Test and refine capabilities/activities | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#26 | Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files) | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#27 | Efficiency problems with larger files and larger outputs | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#29 | Symbol table editing scheme: fix filename and add edit action rather than create | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#31 | Decorators not always updated | 1:pg-eclipse | defect | Graham Dutton | new | Apr 16, 2013 | ||
#33 | Fix interrupts: interrupt crashes prover and interrupt ineffective | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#55 | Parsing whole file is costly; lazy "gathering" parser strategy is flawed | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#57 | Symbol table editor problems: doesn't report correct status, apply is very slow | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#58 | Hangs during shutdown | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#64 | Decide what to do with ProverStandalone | 1:pg-eclipse | task | alex heneveld | new | Apr 16, 2013 | ||
#72 | Fix prover state indicator | 1:pg-eclipse | defect | Graham Dutton | new | Apr 16, 2013 | ||
#75 | Proof Script Editor context menu improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#77 | Partitioning: fix for correct lexical syntax of Isar | 1:pg-eclipse | defect | Graham Dutton | new | Apr 16, 2013 | ||
#79 | Improve symbols: support table inclusions; add Mac and Windows overrides | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#80 | Improve symbols/character display: allow superscript, subscript (and maybe bold, italic, colours, ...) | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#81 | Investigate use of Computer Modern Unicode font | 1:pg-eclipse | task | David Aspinall | new | Apr 16, 2013 | ||
#85 | Outline view improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#90 | Folding Improvements | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#93 | Propagate position information in errors to make available to interface | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#98 | PGML changes: complete update for PGML 2.0 | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#102 | Simplify message model according to new RNC, change Isabelle to match | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#106 | Add support for status area message responses | 1:pg-eclipse | defect | Graham Dutton | new | Apr 16, 2013 | ||
#107 | Support text file searching with symbol encoding/decoding | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#130 | Add project batch builder | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#142 | New parsescript code in pgip_parser.ML is broken | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#144 | Build a hybrid top level that removes PG specific one | 4:prover-isabelle | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#145 | PGIP parser: add string tokens for categories | 4:prover-isabelle | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#146 | Add "sendback" messages to match behaviour added to PG Emacs | 5:PGIP-design | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#147 | Add support for (static) code templates inside Isabelle | 4:prover-isabelle | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#243 | Parsing errors: whitespace lost in parseresult | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#256 | Use prover-specific Preference Initialisers | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#37 | ProverKnowledge updates and improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#132 | Packaging for 1.0.6/3.4 releases | 1:pg-eclipse | task | Graham Dutton | new | Apr 16, 2013 | ||
#135 | Quick diff symbol decoding broken | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#246 | Fix ProofScriptDocument partitionChangeBroadcast | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#247 | Proof Objects view (IdView) is broken | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#251 | Exception in editor startup | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#252 | Tune script management markers | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#255 | Refactor concurrency handling for document | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#353 | "undo last proof command" does not work at the end of theory | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#354 | synchronisation lost with "process rest" and "undo" | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#465 | proof script not displayed after startup | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Feb 19, 2013 | |
#464 | proof script not displayed after startup | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Feb 19, 2013 | |
#457 | Remove/invoke proof-shell-pre-interrupt-hook | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | new | Nov 14, 2012 | |
#195 | Replace crufty PHP code for interpreting outline mode with some Javascript | 6:web-and-docs | enhancement | David Aspinall | new | Feb 22, 2010 | ||
#194 | Fix links on web pages and odd mime types for linked files under releases | 6:web-and-docs | defect | David Aspinall | new | Feb 22, 2010 | ||
#429 | Coq should support *trace* buffer for idtac output | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | reopened | May 7, 2015 | |
#377 | Electric-terminator mode next line movement changed | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | reopened | Jun 22, 2014 | |
#336 | Toolbar images on Mac Emacsen are super-ugly | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | reopened | Aug 14, 2012 |
Note:
See TracReports for help on using and creating reports.