{2} Active Tickets by Version (149 matches)

This report shows how to color results by priority, while grouping results by version.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

Results (1 - 100 of 149)

1 2

(empty) (100 matches)

Ticket Summary Component Version Type Owner Status Created
#14 Concurrency fixes 1:pg-eclipse defect David Aspinall new Jan 30, 2007
#66 Make parser more robust and suggest likely causes of error 1:pg-eclipse defect David Aspinall new Feb 3, 2007
#38 Add automated testing framework 1:pg-eclipse enhancement alex heneveld new Jan 30, 2007
#42 Extract Isabelle-specific behaviour; design prover extension point 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#19 Use markers/positions for document processed and locked offsets 1:pg-eclipse defect David Aspinall new Jan 30, 2007
#21 Refactor to remove DummyDocElement 1:pg-eclipse defect David Aspinall new Jan 30, 2007
#26 Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files) 1:pg-eclipse defect David Aspinall new Jan 30, 2007
#27 Efficiency problems with larger files and larger outputs 1:pg-eclipse defect David Aspinall new Jan 30, 2007
#33 Fix interrupts: interrupt crashes prover and interrupt ineffective 1:pg-eclipse defect David Aspinall new Jan 30, 2007
#54 Support file operations save-as, rename, revert properly during script management 1:pg-eclipse defect David Aspinall new Feb 1, 2007
#55 Parsing whole file is costly; lazy "gathering" parser strategy is flawed 1:pg-eclipse defect David Aspinall new Feb 1, 2007
#90 Folding Improvements 1:pg-eclipse defect David Aspinall new Feb 28, 2007
#93 Propagate position information in errors to make available to interface 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
#99 Reliable interrupts 4:prover-isabelle defect 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
#5 Replace ThreadPool with Eclipse job management 1:pg-eclipse enhancement David Aspinall new Jan 29, 2007
#10 Refactor and enhance document model 1:pg-eclipse enhancement David Aspinall new Jan 29, 2007
#35 Implement Java PGIP abstraction, independently of Eclipse code 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#37 ProverKnowledge updates and improvements 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#40 Implement document regions and annotations/markers for colouring 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#41 Revive GEF dependency graph viewer as a separate plugin 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#44 Support openblock/closeblock elements in prover parse output. 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#45 Use workbench progress feedbacks; provide busy indications 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#47 Complete configuration of <lexicalsyntax> elements 1:pg-eclipse enhancement David Aspinall assigned Jan 30, 2007
#79 Improve symbols: support table inclusions; add Mac and Windows overrides 1:pg-eclipse enhancement David Aspinall new Feb 25, 2007
#87 Add support for indentation in proof script editor 1:pg-eclipse enhancement Graham Dutton new Feb 27, 2007
#101 Add scriptreplace and menu choice interaction 5:PGIP-design enhancement David Aspinall new Mar 10, 2007
#3 Improve code quality: address J2SE best practices in TPTP analysis 1:pg-eclipse task somebody new Jan 26, 2007
#34 Event processing cleanups 1:pg-eclipse task David Aspinall assigned Jan 30, 2007
#65 Use FindBugs to detect possible bugs 1:pg-eclipse task David Aspinall new Feb 3, 2007
#9 Fix history in output view 1:pg-eclipse defect David Aspinall new Jan 29, 2007
#12 Polish Proof Objects View; Link to Prover Knowledge 1:pg-eclipse defect David Aspinall new Jan 30, 2007
#31 Decorators not always updated 1:pg-eclipse defect Graham Dutton new Jan 30, 2007
#53 Re-implement toolbar button enablers 1:pg-eclipse defect David Aspinall new Feb 1, 2007
#57 Symbol table editor problems: doesn't report correct status, apply is very slow 1:pg-eclipse defect David Aspinall new Feb 1, 2007
#58 Hangs during shutdown 1:pg-eclipse defect David Aspinall new Feb 1, 2007
#62 PGIP console displays messages out-of-order; should allow hiding packets 1:pg-eclipse defect David Aspinall new Feb 3, 2007
#72 Fix prover state indicator 1:pg-eclipse defect Graham Dutton new Feb 7, 2007
#89 Remove tabs from Isabelle source files (theories, at least) 4:prover-isabelle defect David Aspinall new Feb 28, 2007
#95 Refine spuriouscmd into two: destructivecmd and diagnosticcmd 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
#102 Simplify message model according to new RNC, change Isabelle to match 4:prover-isabelle defect David Aspinall new Mar 10, 2007
#11 Builder for parsing/proving files automatically 1:pg-eclipse enhancement David Aspinall new Jan 29, 2007
#13 Add proof object search facilities to IdView 1:pg-eclipse enhancement Graham Dutton assigned Jan 30, 2007
#17 Add clear button for prover output 1:pg-eclipse enhancement Graham Dutton accepted Jan 30, 2007
#18 Add hover for prover output (on any blue space) 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#22 Refactor SessionManager 1:pg-eclipse enhancement David Aspinall assigned Jan 30, 2007
#23 Test and refine capabilities/activities 1:pg-eclipse enhancement Graham Dutton new Jan 30, 2007
#29 Symbol table editing scheme: fix filename and add edit action rather than create 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#32 Add some user documentation 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#43 Improve output markup (pgml.xsl) 1:pg-eclipse enhancement Graham Dutton assigned Jan 30, 2007
#46 Extra view for Problem Details 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#51 Add processing direction to 'active script' decorator 1:pg-eclipse enhancement anonymous new Feb 1, 2007
#60 Improve icons throughout 1:pg-eclipse enhancement David Aspinall new Feb 1, 2007
#80 Improve symbols/character display: allow superscript, subscript (and maybe bold, italic, colours, ...) 1:pg-eclipse enhancement David Aspinall new Feb 25, 2007
#85 Outline view improvements 1:pg-eclipse enhancement David Aspinall new Feb 27, 2007
#94 Selecting print mode via interface 5:PGIP-design enhancement 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
#25 Review in-code TODO and FIXME tasks 1:pg-eclipse task David Aspinall new Jan 30, 2007
#39 Code cleanups: use tag CLEANUP for old code prior to removal 1:pg-eclipse task David Aspinall new Jan 30, 2007
#59 Remove/check through OLD_BUG_LIST.txt 1:pg-eclipse task David Aspinall new Feb 1, 2007
#61 Make Proof Objects view into standalone RCP application 1:pg-eclipse task David Aspinall new Feb 3, 2007
#64 Decide what to do with ProverStandalone 1:pg-eclipse task alex heneveld new Feb 3, 2007
#81 Investigate use of Computer Modern Unicode font 1:pg-eclipse task David Aspinall new Feb 25, 2007
#82 Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty 1:pg-eclipse task David Aspinall new Feb 25, 2007
#250 Interrupt causes document inconsistency 1:pg-eclipse defect David Aspinall assigned Sep 5, 2008
#249 Script management error for locales; undo action failure should not generate markers 1:pg-eclipse David Aspinall assigned Sep 4, 2008
#246 Fix ProofScriptDocument partitionChangeBroadcast 1:pg-eclipse defect David Aspinall new Sep 4, 2008
#251 Exception in editor startup 1:pg-eclipse defect David Aspinall new Sep 6, 2008
#252 Tune script management markers 1:pg-eclipse defect David Aspinall new Sep 8, 2008
#255 Refactor concurrency handling for document 1:pg-eclipse defect David Aspinall new Sep 15, 2008
#77 Partitioning: fix for correct lexical syntax of Isar 1:pg-eclipse defect Graham Dutton new Feb 23, 2007
#106 Add support for status area message responses 1:pg-eclipse defect Graham Dutton new Mar 18, 2007
#127 Fix Action Bar active editor switching; simplify actions 1:pg-eclipse defect David Aspinall assigned Jul 7, 2007
#135 Quick diff symbol decoding broken 1:pg-eclipse defect David Aspinall new Jul 19, 2007
#142 New parsescript code in pgip_parser.ML is broken 4:prover-isabelle defect David Aspinall new Sep 14, 2007
#148 Add "continual validation" mode to PGIP 5:PGIP-design defect David Aspinall new Sep 16, 2007
#149 Unify batch and incremental mode of processing 4:prover-isabelle defect David Aspinall new Sep 16, 2007
#151 Make interface multiple-thread aware 4:prover-isabelle defect David Aspinall new Sep 16, 2007
#194 Fix links on web pages and odd mime types for linked files under releases 6:web-and-docs defect David Aspinall new Feb 1, 2008
#243 Parsing errors: whitespace lost in parseresult 1:pg-eclipse defect David Aspinall new Aug 31, 2008
#247 Proof Objects view (IdView) is broken 1:pg-eclipse defect David Aspinall new Sep 4, 2008
#351 Show/hide of proofs in Coq can hide too much 2:pg-emacs defect David Aspinall accepted Sep 8, 2010
#353 "undo last proof command" does not work at the end of theory 1:pg-eclipse defect David Aspinall new Sep 14, 2010
#377 Electric-terminator mode next line movement changed 2:pg-emacs defect David Aspinall reopened Oct 11, 2010
#448 Repair autotest load sequence so works in compiled and interpreted code 2:pg-emacs defect David Aspinall accepted Sep 2, 2012
#456 initialization failure with defpacustom :eval 2:pg-emacs defect David Aspinall new Nov 13, 2012
#498 coq-compile-before-require should allow non-source installations 7:prover-coq defect David Aspinall new Oct 11, 2014
#73 Enhancements for Proof Objects view 1:pg-eclipse enhancement David Aspinall new Feb 17, 2007
#75 Proof Script Editor context menu improvements 1:pg-eclipse enhancement David Aspinall new Feb 21, 2007
#76 Add Prove-As-You-Type option 1:pg-eclipse enhancement David Aspinall new Feb 21, 2007
#108 Support proof object searching via search dialog 1:pg-eclipse enhancement David Aspinall new Mar 18, 2007
#122 Use Batch Build Command and Project Batch Build Command 1:pg-eclipse enhancement David Aspinall new Jul 5, 2007
#125 Use <askprefs> message to configure prover-specific preferences 1:pg-eclipse enhancement Graham Dutton new Jul 5, 2007
#134 Generalise lexing to better match Isar syntax 1:pg-eclipse enhancement David Aspinall assigned Jul 19, 2007
#136 Add compare support for proof scripts 1:pg-eclipse enhancement David Aspinall new Jul 19, 2007
#145 PGIP parser: add string tokens for categories 4:prover-isabelle enhancement David Aspinall new Sep 14, 2007
#146 Add "sendback" messages to match behaviour added to PG Emacs 5:PGIP-design enhancement David Aspinall new Sep 14, 2007
#147 Add support for (static) code templates inside Isabelle 4:prover-isabelle enhancement David Aspinall new Sep 14, 2007
1 2
Note: See TracReports for help on using and creating reports.