Timeline
01/29/10:
- 23:27 Changeset [1507] by
- fix relaxng validation
- 21:22 Changeset [1506] by
- jing license
- 20:16 Changeset [1505] by
- #252 - fix relaxng validation
- 15:02 Ticket #398 (debugging stylesheets with jomdoc render?) closed by
- fixed
- 15:02 Ticket #514 (Numbering with XSLT?) closed by
- fixed
- 15:01 Ticket #557 (Character Reference in OMDoc (problems with Javascript)) closed by
- fixed: seems to have been a temporary error. I will close it, please reopen if …
- 15:00 Ticket #268 (Create directories for OMDoc XSLT/CSS in JOMDoc) closed by
- fixed
- 15:00 Ticket #593 (Introduce new maintainer) closed by
- fixed
- 14:58 Ticket #577 (Bundled default OpenMath notations) closed by
- fixed
- 14:46 Ticket #270 (Query and Display of Justification (of Proving Steps)) closed by
- fixed: The foundations for this are there now: * arbitrary metadata can be …
01/28/10:
- 23:33 Changeset [1504] by
- some performance tuning
- 20:45 Changeset [1503] by
- make Pattern thread-safe, plus some performance tuning
- 18:00 Changeset [1502] by
- fragment rendering test
- 00:44 Changeset [1501] by
- added javacc license
01/27/10:
- 19:17 Changeset [1500] by
- fixed ref contraction
- 19:13 Ticket #611 (Ref contraction in TNTBase) created by
- Hi Slava, I'm fixing the ref contraction to work in TNTBase (I don't know …
- 17:29 Ticket #610 (Explore context popup) created by
- The existing definition lookup is quite specifically focused on …
- 15:17 Changeset [1499] by
- fix documentation
- 11:23 Changeset [1498] by
- 00:08 Ticket #479 (Rendering fragment) reopened by
- Now I updated to the newest JOMDoc, adapted my code that more or less …
01/26/10:
- 21:23 Changeset [1497] by
- #578 - tags reference containers of target elements, testdata
- 21:22 Changeset [1496] by
- #578 - tags reference containers of target elements
- 17:37 Ticket #609 (Shorten URIs of resources in RDFa output) created by
- In the RDFa for GenCS, we have lots of URIs starting with e.g. …
- 16:09 Ticket #479 (Rendering fragment) closed by
- fixed: I suppose this can be closed.
- 16:04 Ticket #509 (2009-08-15: Refactored XSLT processing) closed by
- fixed
- 16:03 Ticket #607 (add ability to manage notations cache) closed by
- fixed: I added isCached(Document) and isCached(documentURI).
- 16:01 Changeset [1495] by
- #607
- 15:33 Ticket #522 (Abstract Document Module (use case for ref-contraction and notation ...) closed by
- fixed: As far as I can see everything is pretty much fixed and working, we just …
- 15:22 Portal edited by
- (diff)
- 15:19 Portal edited by
- (diff)
- 15:19 Ticket #608 (JOMDoc documentation) created by
- JOMDoc has a lack of documentation (besides the javadoc, which is way too …
- 15:12 JOMDoc edited by
- (diff)
- 15:09 JOMDoc edited by
- (diff)
- 15:07 JOMDoc edited by
- (diff)
- 12:34 Ticket #533 (Refactoring the Notation and Variant Module) closed by
- fixed
- 12:09 Portal edited by
- (diff)
- 11:58 Ticket #603 (ClassLoader used to load bundled files) closed by
- fixed: Thank you for reporting this, I've committed the fixes. And sorry about …
- 11:58 Changeset [1493] by
- testdata
- 11:30 NtnVar edited by
- (diff)
- 11:28 NtnVar edited by
- (diff)
- 11:02 Changeset [1492] by
- #533 - refactoring notation and variant modules
01/25/10:
- 21:39 Changeset [1491] by
- 21:37 Changeset [1490] by
- refactored notation and variant modules
- 21:35 Ticket #607 (add ability to manage notations cache) created by
- Sometimes it's worthwhile to delete some notations from a cache. For …
- 13:54 Changeset [1489] by
- some final shortenings; cited OMDoc ontology (former ESWC demo); SUBMITTED
- 13:27 Changeset [1488] by
- fixed bug arrow behind picture
- 12:52 Ticket #606 (Complex Variables not properly treated in presentation) created by
- In …
- 11:54 Changeset [1487] by
- bla
- 11:39 Changeset [1486] by
- shortened a bit more
- 03:02 Changeset [1485] by
- really final draft - fixed example circle behind the rdf store
- 02:55 Changeset [1484] by
- modified image with hints from Christoph via Skype - final draft
- 02:34 Changeset [1483] by
- modified and exported image from dia
- 01:37 Changeset [1482] by
- saved space
- 01:28 Changeset [1481] by
- with screenshot
01/24/10:
- 22:10 Changeset [1480] by
- shortening architecture
- 22:02 Changeset [1479] by
- more shortening (intro and related)
- 21:14 Changeset [1478] by
- merged Florian's and my reworked intro; now we have to shorten again
- 21:13 Changeset [1477] by
- tried to save space
- 20:31 Changeset [1476] by
- 20:22 Changeset [1475] by
- saving space in bib
- 20:11 Changeset [1474] by
- smaller font for bib
- 19:41 Changeset [1473] by
- more examples from Friday's 'query' discussion
- 19:37 Changeset [1472] by
- new conclusion
- 19:01 Changeset [1471] by
- reworked 'architecture and demo'; slightly shortened Michael's extended …
- 09:40 Changeset [1470] by
- tweaking the intro
- 00:16 Tags edited by
- (diff)
01/23/10:
- 19:18 Changeset [1469] by
- main part reworking half done
- 18:57 Changeset [1468] by
- modified picture
- 18:44 Changeset [1467] by
- updated related work; shorter bibliography
- 17:17 Changeset [1466] by
- more "spin" for intro
01/22/10:
- 01:56 Changeset [1465] by
- modified picture
- 01:43 Changeset [1464] by
- new picture
01/21/10:
- 10:33 Changeset [1463] by
- script
01/20/10:
- 03:53 Changeset [1462] by
- digitalized schema
- 03:33 Changeset [1461] by
- restructured
- 01:46 Changeset [1460] by
- conclusion
- 00:41 Changeset [1459] by
- wrote main part
01/19/10:
- 16:31 Changeset [1458] by
- readme
- 16:25 Changeset [1457] by
- RDFa
- 16:10 Changeset [1456] by
- removed csquotes
- 15:04 Changeset [1455] by
- first two sections
01/18/10:
- 16:23 Ticket #605 (some notation definitions not picked up) created by
- when we present …
- 16:08 Changeset [1454] by
- adding css for omlet
- 15:47 Changeset [1453] by
- typo
- 15:43 Changeset [1452] by
- adding xsl external
- 15:41 Changeset [1451] by
- more
- 15:28 Ticket #604 (implement code blocks in XSLT) created by
- For the GenCS corpus, we need to implement code blocks that come from …
01/15/10:
- 20:06 Variant created by
- 20:05 NtnVar edited by
- (diff)
- 19:52 ElementSorting created by
- 19:51 Tags created by
- 19:50 NtnVar created by
- 19:44 JOMDoc created by
01/12/10:
- 12:09 JavaScript edited by
- performance tuning (diff)
01/04/10:
- 07:47 Changeset [1450] by
- adding css
Note: See TracTimeline
for information about the timeline view.
