Timeline
02/01/10:
- 22:56 Ticket #504 (project news) closed by
- fixed
- 22:12 Ticket #458 (Imports resolver in JOMDoc) closed by
- invalid: Ticket #617 is more specific. Now it works in TNTBase, but not in the best …
- 22:12 Ticket #611 (Ref contraction in TNTBase) closed by
- fixed
- 22:08 Ticket #480 (Memory leak in NtnUtil) closed by
- fixed
- 22:07 Ticket #456 (Exceptions are not thrown in some cases) closed by
- fixed: Yes, this can be closed.
- 21:50 Ticket #512 (JOMDoc must throw exceptions) closed by
- duplicate: Duplicate of #456
- 21:21 Ticket #617 (Unify resolvers infrastructure) created by
- For example class ImportsAware? uses AbstractResolver? to resolve imports. …
- 17:32 Ticket #616 (Refactor XSLT/CSS wrt. RDFa and GenCS,... specific concerns.) created by
- With the GenCS case study I am at a point, where I am looking more …
- 17:32 Ticket #615 (CSS for line-end-comment) created by
- In GenCS I use the concept of a "line-end comment", e.g. …
- 01:41 Ticket #454 (Short names for the names of some classes) closed by
- fixed: It was fixed with #533: * The sources have been renamed to have …
- 01:38 Ticket #614 (JOMDoc doesn't build) closed by
- fixed
- 01:38 Changeset [1510] by
- #614
- 01:22 Ticket #614 (JOMDoc doesn't build) created by
- ant build doesn't work after update. Please fix
- 00:52 Ticket #579 (Which XSLT version shold JOMDoc use? 1.3 or trunk?) closed by
- fixed: Closing for now. The XSLTs for OMDoc 1.3 are in JOMDoc, new features …
01/31/10:
- 21:34 Changeset [1509] by
- more specific comment; used eq for string comparison (XPath 2.0)
- 12:43 Ticket #613 (notation collection in nested theories) created by
- In the GenCS corpus in slides/adt/en/adt-def.omdoc (see …
- 12:38 Ticket #612 (revamp the treatment of omlet, images, ...) created by
- In the GenCS corpus we convert TIKZ pictures to SVG, which is embedded …
- 09:22 Changeset [1508] by
- better treatment of embedded svg.
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.
