Timeline
Jan 30, 2007:
- 5:51 PM Ticket #50 (Make sure PG perspective is default on product startup.) created by
- Recently broken, the resource perspective appears to be default at the …
- 5:47 PM Ticket #49 (Make sure File->Open produces sensible feedback when attempted with ...) created by
- At the moment
File->Open
produces a confusingly blank canvas or … - 5:42 PM Ticket #48 (Support editing proof script files outside workspace) closed by
- wontfix
- 5:41 PM Ticket #48 (Support editing proof script files outside workspace) created by
- It seems desirable to support editing files outside workspace. To do …
- 5:36 PM Ticket #47 (Complete configuration of <lexicalsyntax> elements) created by
- Lexical syntax elements allow correct and dynamically extensible …
- 5:33 PM Ticket #46 (Extra view for Problem Details) created by
- Extra view for "Problem Details" in case of prover error, to get …
- 5:30 PM Ticket #45 (Use workbench progress feedbacks; provide busy indications) created by
- We should use workbench progress feedback for proof (not so important: …
- 5:28 PM Ticket #44 (Support openblock/closeblock elements in prover parse output.) created by
- The openblock/closeblock elements should allow us to remove Isabelle …
- 5:22 PM Ticket #43 (Improve output markup (pgml.xsl)) created by
- Output markup can and should be improved a lot by extending the XSL …
- 5:17 PM Ticket #42 (Extract Isabelle-specific behaviour; design prover extension point) created by
- We should extract the Isabelle specific behaviour of the current …
- 5:08 PM Ticket #41 (Revive GEF dependency graph viewer as a separate plugin) created by
- Elina Timiriassova contributed a GEF-based dependency graph viewer as …
- 5:04 PM Ticket #40 (Implement document regions and annotations/markers for colouring) created by
- Use markers or annotations instead of coloured tokens. Fixes lots of …
- 4:59 PM Ticket #39 (Code cleanups: use tag CLEANUP for old code prior to removal) created by
- To avoid deleting useful old code, or removing it before new code is …
- 4:56 PM Ticket #38 (Add automated testing framework) created by
- This is desperately wanted. We need a testing framework which …
- 4:52 PM Ticket #37 (ProverKnowledge updates and improvements) created by
- Various desirable improvements: * Fix output conversion from XML …
- 4:43 PM Ticket #36 (Split stream for console into input/output and give input a different ...) created by
- A minor improvement for the PGIP console is to display input/output in …
- 4:41 PM Ticket #35 (Implement Java PGIP abstraction, independently of Eclipse code) created by
- We should have a PGIP abstraction in Java which is used to represent …
- 4:37 PM Ticket #34 (Event processing cleanups) created by
- Event model needs cleanup/simplification to be more efficient. * …
- 4:35 PM Ticket #33 (Fix interrupts: interrupt crashes prover and interrupt ineffective) created by
- 1. interrupt can cause prover crash (why?) 2. interrupt has hardwired …
- 4:32 PM Ticket #32 (Add some user documentation) created by
- We need some user-level documentation to include in the product. It …
- 4:28 PM Ticket #31 (Decorators not always updated) created by
- There are some cases when the decorators do not get updated to reflect …
- 4:27 PM Ticket #30 (Outline view should update after any parse) created by
- There are some cases when the outline view does not get updated. …
- 4:23 PM Ticket #29 (Symbol table editing scheme: fix filename and add edit action rather ...) created by
- We're moving to having a fixed
.default.sym
symbol table associated … - 4:19 PM Ticket #28 (Newlines in PGIP console are lost) created by
- Newlines in PGIP console (e.g. in parseresult) are lost. Hopefully …
- 4:08 PM Ticket #27 (Efficiency problems with larger files and larger outputs) created by
- Try processing BigTheory?.thy and compare time taken in Eclipse with …
- 4:02 PM Ticket #26 (Investigate and fix small-scale efficiency problems (e.g. undo in ...) created by
- Undo is very slow when a bunch of commands are to be undone, it can be …
- 3:57 PM Ticket #25 (Review in-code TODO and FIXME tasks) created by
- Review all the in-code tasks generated by TODO and FIXME, currently …
- 3:49 PM Ticket #24 (Replace current undo management with document-based undo mechanism) created by
- The current undo management code uses a long history of commands sent …
- 3:42 PM Ticket #23 (Test and refine capabilities/activities) created by
- The plugin.xml file adds some support for capabilities which can be …
- 3:38 PM Ticket #22 (Refactor SessionManager) created by
- Continue refactoring of SessionManager to clean up responsibilities …
- 3:32 PM Ticket #21 (Refactor to remove DummyDocElement) created by
- Refactor to remove the DummyDocElement atrocity. We should remove …
- 3:29 PM Ticket #20 (Fix ProofScriptEditor to change symbols cleanly) created by
- ProofScriptEditor should change symbols cleanly, ideally without …
- 3:28 PM Ticket #19 (Use markers/positions for document processed and locked offsets) created by
- Instead of using fixed offsets, the positions should move with edits …
- 3:26 PM Ticket #18 (Add hover for prover output (on any blue space)) created by
- To support document-based editing without displaying intermittent …
- 3:24 PM Ticket #17 (Add clear button for prover output) created by
- Add clear button for prover output, which clears history.
- 3:23 PM Ticket #16 (Move cursor and scroll during do/undo) created by
- Restore cursor movement behaviour.
- 1:11 PM Ticket #15 (Concurrency fixes in GetCommandResponseAction) created by
- Uses double checked locking and a static field.
- 1:10 PM Ticket #14 (Concurrency fixes) created by
- Thread safety in the code needs to be carefully reviewed. …
- 12:19 PM Ticket #13 (Add proof object search facilities to IdView) created by
- Add a proof object search facility to IdView, similar to the Open …
- 12:06 PM Ticket #12 (Polish Proof Objects View; Link to Prover Knowledge) created by
- Proof Objects view needs some polish: 1. Glitch when editing theory …
Jan 29, 2007:
- 2:27 PM Ticket #11 (Builder for parsing/proving files automatically) created by
- Add builder for parsing/proving files automatically. This is partly …
- 2:23 PM Ticket #10 (Refactor and enhance document model) created by
- Refactor ProofScriptDocument to remove the document model explicitly …
- 2:21 PM Ticket #9 (Fix history in output view) created by
- History in output view (or browsing it) is garbled.
- 2:19 PM Ticket #8 (Cleanup active script handling in actions) created by
- Active script switching needs overhaul. Switching should be managed …
- 2:17 PM Ticket #7 (Finish proof explorer: inherit decorators, menus, etc. from Project ...) created by
- The Proof Explorer view needs to inherit more of the functionality of …
- 2:15 PM Ticket #6 (Add code folding for proof scripts) created by
- Add code folding for proof scripts. Hua Yang had some experimental …
- 12:25 PM Ticket #5 (Replace ThreadPool with Eclipse job management) created by
- We should replace our ThreadPool? code with the core Eclipse job …
Jan 26, 2007:
- 9:22 PM Ticket #4 (Use stixfonts once they become available) created by
- See http://www.stixfonts.com - Is it possible to redistribute them …
- 7:59 PM Ticket #3 (Improve code quality: address J2SE best practices in TPTP analysis) created by
Jan 22, 2007:
Jan 18, 2007:
- 10:25 PM Ticket #1 (Try to get trac working for Proof General web) created by
- Get trac working for Proof General.
- 9:41 PM WikiDeletePage created by
- 9:41 PM TracBackup created by
- 9:41 PM TracInstall created by
- 9:41 PM TracTickets created by
- 9:41 PM TracTimeline created by
- 9:41 PM TracRss created by
- 9:41 PM WikiPageNames created by
- 9:41 PM TracImport created by
- 9:41 PM TracTicketsCustomFields created by
- 9:41 PM WikiRestructuredText created by
- 9:41 PM TracPermissions created by
- 9:41 PM TracSupport created by
- 9:41 PM WikiHtml created by
- 9:41 PM TracIni created by
- 9:41 PM TracFastCgi created by
- 9:41 PM InterTrac created by
- 9:41 PM PageTemplates created by
- 9:41 PM TracModPython created by
- 9:41 PM TracBrowser created by
- 9:41 PM TracSyntaxColoring created by
- 9:41 PM WikiFormatting created by
- 9:41 PM TracNotification created by
- 9:41 PM TracUnicode created by
- 9:41 PM TracAccessibility created by
- 9:41 PM TracRevisionLog created by
- 9:41 PM TracReports created by
- 9:41 PM WikiMacros created by
- 9:41 PM CamelCase created by
- 9:41 PM TracCgi created by
- 9:41 PM TracEnvironment created by
- 9:41 PM TracQuery created by
- 9:41 PM InterMapTxt created by
- 9:41 PM TracSearch created by
- 9:41 PM WikiStart created by
- 9:41 PM WikiProcessors created by
- 9:41 PM SandBox created by
- 9:41 PM WikiRestructuredTextLinks created by
- 9:41 PM TracLinks created by
- 9:41 PM TracPlugins created by
- 9:41 PM TracRoadmap created by
- 9:41 PM TracLogging created by
- 9:41 PM TracUpgrade created by
- 9:41 PM TracAdmin created by
- 9:41 PM TracStandalone created by
- 9:41 PM InterWiki created by
- 9:41 PM TracGuide created by
- 9:41 PM TracInterfaceCustomization created by
- 9:41 PM RecentChanges created by
- 9:41 PM TitleIndex created by
- 9:41 PM WikiNewPage created by
- 9:41 PM TracChangeset created by
- 9:41 PM TracWiki created by
Note: See TracTimeline
for information about the timeline view.