Timeline
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.