#9 |
Fix history in output view
|
new
|
David Aspinall
|
defect
|
minor
|
|
#12 |
Polish Proof Objects View; Link to Prover Knowledge
|
new
|
David Aspinall
|
defect
|
minor
|
|
#14 |
Concurrency fixes
|
new
|
David Aspinall
|
defect
|
critical
|
|
#19 |
Use markers/positions for document processed and locked offsets
|
new
|
David Aspinall
|
defect
|
major
|
|
#21 |
Refactor to remove DummyDocElement
|
new
|
David Aspinall
|
defect
|
major
|
|
#26 |
Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files)
|
new
|
David Aspinall
|
defect
|
major
|
|
#27 |
Efficiency problems with larger files and larger outputs
|
new
|
David Aspinall
|
defect
|
major
|
|
#31 |
Decorators not always updated
|
new
|
Graham Dutton
|
defect
|
minor
|
|
#33 |
Fix interrupts: interrupt crashes prover and interrupt ineffective
|
new
|
David Aspinall
|
defect
|
major
|
|
#53 |
Re-implement toolbar button enablers
|
new
|
David Aspinall
|
defect
|
minor
|
|
#54 |
Support file operations save-as, rename, revert properly during script management
|
new
|
David Aspinall
|
defect
|
major
|
|
#55 |
Parsing whole file is costly; lazy "gathering" parser strategy is flawed
|
new
|
David Aspinall
|
defect
|
major
|
|
#57 |
Symbol table editor problems: doesn't report correct status, apply is very slow
|
new
|
David Aspinall
|
defect
|
minor
|
|
#58 |
Hangs during shutdown
|
new
|
David Aspinall
|
defect
|
minor
|
|
#62 |
PGIP console displays messages out-of-order; should allow hiding packets
|
new
|
David Aspinall
|
defect
|
minor
|
|
#66 |
Make parser more robust and suggest likely causes of error
|
new
|
David Aspinall
|
defect
|
critical
|
|
#72 |
Fix prover state indicator
|
new
|
Graham Dutton
|
defect
|
minor
|
|
#77 |
Partitioning: fix for correct lexical syntax of Isar
|
new
|
Graham Dutton
|
defect
|
major
|
|
#90 |
Folding Improvements
|
new
|
David Aspinall
|
defect
|
major
|
|
#104 |
Add preference listener to ProofScriptDocument
|
new
|
David Aspinall
|
defect
|
minor
|
|
#105 |
Preference handling refactor: add description text preferences, use those for display, remove ids
|
new
|
David Aspinall
|
defect
|
minor
|
|
#106 |
Add support for status area message responses
|
new
|
Graham Dutton
|
defect
|
major
|
|
#127 |
Fix Action Bar active editor switching; simplify actions
|
assigned
|
David Aspinall
|
defect
|
major
|
|
#135 |
Quick diff symbol decoding broken
|
new
|
David Aspinall
|
defect
|
major
|
|
#240 |
Bad behaviour in startup when proof executables (isabelle, isatool) not found
|
assigned
|
Graham Dutton
|
defect
|
minor
|
|
#243 |
Parsing errors: whitespace lost in parseresult
|
new
|
David Aspinall
|
defect
|
major
|
|
#244 |
Comical giant icons in outline view
|
assigned
|
Graham Dutton
|
defect
|
minor
|
|
#246 |
Fix ProofScriptDocument partitionChangeBroadcast
|
new
|
David Aspinall
|
defect
|
critical
|
|
#247 |
Proof Objects view (IdView) is broken
|
new
|
David Aspinall
|
defect
|
major
|
|
#250 |
Interrupt causes document inconsistency
|
assigned
|
David Aspinall
|
defect
|
blocker
|
|
#251 |
Exception in editor startup
|
new
|
David Aspinall
|
defect
|
critical
|
|
#252 |
Tune script management markers
|
new
|
David Aspinall
|
defect
|
critical
|
|
#255 |
Refactor concurrency handling for document
|
new
|
David Aspinall
|
defect
|
critical
|
|
#256 |
Use prover-specific Preference Initialisers
|
new
|
David Aspinall
|
defect
|
minor
|
|
#353 |
"undo last proof command" does not work at the end of theory
|
new
|
David Aspinall
|
defect
|
major
|
|
#354 |
synchronisation lost with "process rest" and "undo"
|
new
|
David Aspinall
|
defect
|
minor
|
|
#5 |
Replace ThreadPool with Eclipse job management
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#10 |
Refactor and enhance document model
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#11 |
Builder for parsing/proving files automatically
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#13 |
Add proof object search facilities to IdView
|
assigned
|
Graham Dutton
|
enhancement
|
minor
|
|
#17 |
Add clear button for prover output
|
accepted
|
Graham Dutton
|
enhancement
|
minor
|
|
#18 |
Add hover for prover output (on any blue space)
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#22 |
Refactor SessionManager
|
assigned
|
David Aspinall
|
enhancement
|
minor
|
|
#23 |
Test and refine capabilities/activities
|
new
|
Graham Dutton
|
enhancement
|
minor
|
|
#29 |
Symbol table editing scheme: fix filename and add edit action rather than create
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#32 |
Add some user documentation
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#35 |
Implement Java PGIP abstraction, independently of Eclipse code
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#37 |
ProverKnowledge updates and improvements
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#38 |
Add automated testing framework
|
new
|
alex heneveld
|
enhancement
|
critical
|
|
#40 |
Implement document regions and annotations/markers for colouring
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#41 |
Revive GEF dependency graph viewer as a separate plugin
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#42 |
Extract Isabelle-specific behaviour; design prover extension point
|
new
|
David Aspinall
|
enhancement
|
critical
|
|
#43 |
Improve output markup (pgml.xsl)
|
assigned
|
Graham Dutton
|
enhancement
|
minor
|
|
#44 |
Support openblock/closeblock elements in prover parse output.
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#45 |
Use workbench progress feedbacks; provide busy indications
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#46 |
Extra view for Problem Details
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#47 |
Complete configuration of <lexicalsyntax> elements
|
assigned
|
David Aspinall
|
enhancement
|
major
|
|
#51 |
Add processing direction to 'active script' decorator
|
new
|
anonymous
|
enhancement
|
minor
|
|
#60 |
Improve icons throughout
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#73 |
Enhancements for Proof Objects view
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#75 |
Proof Script Editor context menu improvements
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#76 |
Add Prove-As-You-Type option
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#79 |
Improve symbols: support table inclusions; add Mac and Windows overrides
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#80 |
Improve symbols/character display: allow superscript, subscript (and maybe bold, italic, colours, ...)
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#85 |
Outline view improvements
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#87 |
Add support for indentation in proof script editor
|
new
|
Graham Dutton
|
enhancement
|
major
|
|
#107 |
Support text file searching with symbol encoding/decoding
|
new
|
Graham Dutton
|
enhancement
|
minor
|
|
#108 |
Support proof object searching via search dialog
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#122 |
Use Batch Build Command and Project Batch Build Command
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#125 |
Use <askprefs> message to configure prover-specific preferences
|
new
|
Graham Dutton
|
enhancement
|
major
|
|
#130 |
Add project batch builder
|
new
|
Graham Dutton
|
enhancement
|
minor
|
|
#133 |
Enhance proof project nature: add proof project preference, use prover-specifics
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#134 |
Generalise lexing to better match Isar syntax
|
assigned
|
David Aspinall
|
enhancement
|
major
|
|
#136 |
Add compare support for proof scripts
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#158 |
cursor positioning is wrong when sending commands
|
accepted
|
Graham Dutton
|
enhancement
|
minor
|
|
#239 |
Remove reliance on dom4j
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#3 |
Improve code quality: address J2SE best practices in TPTP analysis
|
new
|
somebody
|
task
|
major
|
|
#25 |
Review in-code TODO and FIXME tasks
|
new
|
David Aspinall
|
task
|
minor
|
|
#34 |
Event processing cleanups
|
assigned
|
David Aspinall
|
task
|
major
|
|
#39 |
Code cleanups: use tag CLEANUP for old code prior to removal
|
new
|
David Aspinall
|
task
|
minor
|
|
#59 |
Remove/check through OLD_BUG_LIST.txt
|
new
|
David Aspinall
|
task
|
minor
|
|
#61 |
Make Proof Objects view into standalone RCP application
|
new
|
David Aspinall
|
task
|
minor
|
|
#64 |
Decide what to do with ProverStandalone
|
new
|
alex heneveld
|
task
|
minor
|
|
#65 |
Use FindBugs to detect possible bugs
|
new
|
David Aspinall
|
task
|
major
|
|
#81 |
Investigate use of Computer Modern Unicode font
|
new
|
David Aspinall
|
task
|
minor
|
|
#82 |
Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty
|
new
|
David Aspinall
|
task
|
minor
|
|
#132 |
Packaging for 1.0.6/3.4 releases
|
new
|
Graham Dutton
|
task
|
major
|
|
#249 |
Script management error for locales; undo action failure should not generate markers
|
assigned
|
David Aspinall
|
|
critical
|
|