Timeline
02/09/10:
- 18:09 Changeset [1606] by
- better support for listings
- 18:08 Changeset [1605] by
- draining
- 16:54 Ticket #633 (Fix news titles) created by
- I created a direct listing of latest news on the homepage of the Trac. …
- 16:52 WikiStart edited by
- news on main page (diff)
- 16:45 Ticket #632 (Query interface for obtaining information from database backend instead of ...) created by
- * general idea * [comment:ticket:458:2 how it …
- 16:45 Ticket #631 (Sparse data structures when only part of the information from a document ...) created by
- original idea New feature: do not parse the …
- 16:42 Ticket #630 (Render not-imported symbols as "error") created by
- When using an imports-aware notation collection, symbols that are used but …
- 15:51 Changeset [1604] by
- put copies of the notations in NotationContainer?, no need to keep whole …
- 10:45 Changeset [1603] by
- better treatment for listings-induced code.
- 02:32 Ticket #629 (2010-02-03: JOMDoc 0.1.4 released!) closed by
- fixed
- 02:31 Ticket #629 (2010-02-03: JOMDoc 0.1.4 released!) created by
- JOMDoc v0.1.4 has been released. New in this version: * JOMDoc is now …
- 01:02 Announcements edited by
- some improvements (diff)
- 00:57 JOMDocURIResolvers edited by
- java syntax highlighting (diff)
02/08/10:
- 23:51 Ticket #628 (Why memory increases when overwriting ImportsAware doc) created by
- It seems I know the reason. Assume that you added an ImportAware? object to …
- 23:34 Ticket #627 (NtnUtill needs to be revised) created by
- There is one drawback in the NtnUtil? class. It uses the static cache. And …
- 23:16 JOMDoc014 edited by
- (diff)
- 23:11 Ticket #617 (Unify resolvers infrastructure) closed by
- fixed
- 23:09 Ticket #626 (High memory consumption in the ImportsAware objects) created by
- The biggest contribution to high memory issues is the 'theory' XOM Element …
- 23:04 Ticket #625 (Get rid of unnecassary getters and setters) created by
- Uneccessary getters and setters bring additional complexity and make the …
- 23:04 Announcements edited by
- (diff)
- 23:03 Announcements edited by
- (diff)
- 23:03 Announcements edited by
- (diff)
- 22:47 Changeset [1602] by
- 22:46 Changeset [1601] by
- 22:37 Changeset [1600] by
- change version to 0.1.5
- 22:09 Ticket #624 (Fix externals in JOMDoc branches) closed by
- fixed
- 22:08 Changeset [1599] by
- tag release 0.1.4
- 22:04 Changeset [1598] by
- move
- 21:49 Changeset [1596] by
- release
- 21:37 Announcements edited by
- (diff)
- 21:36 Announcements edited by
- (diff)
- 21:35 Announcements created by
- 21:30 JOMDoc014 edited by
- (diff)
- 21:23 JOMDoc014 edited by
- (diff)
- 20:23 Changeset [1595] by
- 20:17 Changeset [1594] by
- use WeakHashMap?
- 19:49 JOMDoc edited by
- (diff)
- 19:46 JOMDoc edited by
- (diff)
- 19:40 JOMDoc edited by
- (diff)
- 19:39 EndUsers created by
- 19:37 Developers edited by
- (diff)
- 19:37 Developers created by
- 18:33 Changeset [1593] by
- fix null pointer
- 18:30 Changeset [1592] by
- fix null pointer
- 17:58 JOMDoc edited by
- (diff)
- 17:56 CommandLineClient created by
- 17:54 OMDocDatastructures created by
- 17:47 Flattening created by
- 17:33 PageTemplates/WithPageOutline created by
- 17:32 AbstractDocumentsModule created by
- 17:24 Notations created by
- 17:19 Changeset [1591] by
- 17:11 Changeset [1590] by
- fix resolveInputStream
- 17:08 JOMDoc edited by
- (diff)
- 17:05 JOMDocURIResolvers edited by
- (diff)
- 17:04 JOMDocURIResolvers edited by
- (diff)
- 17:03 Ticket #444 (Concrete patterns do not match stronger than general patterns) closed by
- fixed: Great! I fixed the documentation.
- 17:02 Changeset [1589] by
- #444 fix documentation
- 16:53 JOMDocURIResolvers edited by
- (diff)
- 15:47 Changeset [1588] by
- #444 - fix NotationCollector?.isMoreSpecific
- 15:33 Changeset [1587] by
- fix test
- 15:24 Changeset [1586] by
- 15:08 JOMDoc014 edited by
- (diff)
- 15:01 JOMDoc edited by
- (diff)
- 15:01 NtnVar edited by
- (diff)
- 14:54 JOMDoc014 edited by
- (diff)
- 14:53 JOMDocURIResolvers edited by
- (diff)
- 14:53 JOMDocURIResolvers created by
- 14:31 JOMDoc014 edited by
- (diff)
- 13:38 Changeset [1585] by
- fix NotationCollector?.isMoreSpecific
- 12:37 Download edited by
- (diff)
- 12:06 Ticket #624 (Fix externals in JOMDoc branches) created by
- See #584 - I don't have rights to fix them in the branches. In all …
- 12:03 Changeset [1584] by
- changing back to external (restoring behavior before re-checkin) - step 2
- 12:02 Changeset [1583] by
- changing back to external (restoring behavior before re-checkin)
- 11:57 Changeset [1582] by
- fix externals
- 11:55 Changeset [1581] by
- fix externals
- 10:56 Changeset [1580] by
- fix tests
- 10:49 Changeset [1579] by
- refactoring testdata
- 10:49 Changeset [1578] by
- refactoring testdata
- 10:19 Changeset [1577] by
- fix tests
- 10:16 Changeset [1576] by
- add ImportsValidatorTest? and refactor testcases out of ImportsAwareTest?
- 00:43 JOMDoc014 edited by
- (diff)
- 00:42 PageTemplates/JOMDocReleaseNotes edited by
- (diff)
- 00:22 PageTemplates/JOMDocReleaseNotes edited by
- (diff)
02/07/10:
- 23:20 Ticket #622 (Refactor ImportsAware) closed by
- fixed: Fixed.
- 23:15 Changeset [1575] by
- fix RelaxNG validation to use JOMDocURIResolver
- 22:34 JOMDoc014 created by
- 21:00 Ticket #623 (bundled notations in wrong directory inside the jar) created by
- The notations bundled with JOMDoc reside in the directory mathml of the …
- 20:05 PageTemplates/JOMDocReleaseNotes created by
- 19:58 JOMDoc edited by
- (diff)
- 19:54 Changeset [1574] by
- add test
- 19:54 Changeset [1573] by
- #617 - URI resolvers refactoring done
- 16:27 Changeset [1572] by
- fixed link
- 15:20 Changeset [1571] by
- final draft
- 14:49 Changeset [1570] by
- draft
- 14:41 Changeset [1569] by
- draft
- 14:30 Changeset [1568] by
- draft
02/06/10:
- 23:24 Changeset [1567] by
- re-added images as an external
- 23:22 Changeset [1566] by
- merged images to stex-content
- 23:20 Changeset [1565] by
- cleaning up before merge into stex-content
- 23:06 Changeset [1564] by
- #617
- 14:36 Changeset [1563] by
- #617
- 12:19 Changeset [1562] by
- #617
- 12:13 Changeset [1561] by
- #617 - new URI resolver
- 12:11 Changeset [1560] by
- #617 - new URI resolver
02/05/10:
- 15:36 Ticket #622 (Refactor ImportsAware) created by
- ImportsAware? is a source for collecting notations considering imported …
- 14:04 Ticket #447 (jomdoc gets java path wrong) closed by
- fixed
- 14:03 Changeset [1559] by
- fixed script
- 14:03 Changeset [1558] by
- fixed script
- 13:49 Changeset [1557] by
- fix tests
- 13:45 Changeset [1556] by
- overwrite cache in ImportsAware?
- 12:21 Changeset [1555] by
- reverting demo change
- 12:19 Changeset [1554] by
- committing for testing/demo
- 10:26 Changeset [1553] by
- intermediary step
- 06:22 Ticket #447 (jomdoc gets java path wrong) reopened by
- I was wrong after the last update (which probably flushed my local …
02/04/10:
- 20:21 Changeset [1552] by
- fix fragment rendering
- 18:52 Changeset [1551] by
- fixed scripts
- 18:51 Changeset [1550] by
- fixed jomdoc scripts
- 16:41 Ticket #549 (Refactoring required libs) closed by
- fixed: It is now, the classpath is not embedded in the jar anymore. I updated the …
- 16:38 Changeset [1549] by
- 16:37 Changeset [1548] by
- #549
- 16:21 Changeset [1547] by
- draining
- 16:13 Ticket #300 (the JOMDoc trac should have a version "bleeding edge".) closed by
- fixed
- 15:27 Changeset [1546] by
- Excluding externals to css and stylesheets in the bleeding-edge to …
- 15:22 Changeset [1545] by
- Closing branches
- 14:57 Ticket #621 (Provide a new ANT task) closed by
- fixed: Thanks, now you don't have to redeploy jomdoc.jar into the bleeding edge
- 14:41 Changeset [1544] by
- added testandbuild task
- 14:31 Ticket #621 (Provide a new ANT task) created by
- For automated builds we need the task that does the following: 1) Cleans …
- 14:08 Changeset [1543] by
- Wrong commit
- 13:57 Changeset [1542] by
- SVNForceImport importing: …
- 11:06 Changeset [1541] by
- fix CD test
- 10:18 Changeset [1540] by
- fix links in content
02/03/10:
- 21:58 Changeset [1539] by
- some code cleanup
- 18:09 Ticket #620 (utility/mathml/getTagName fails when its argument is null) created by
- utility/mathml/getTagName is called in many cases when we don't even …
- 18:03 Ticket #618 (Make an order in XSLTUtil) closed by
- fixed: Ok done. I thought I need URL resolver for non-default transformation, but …
- 18:03 Changeset [1538] by
- remove debug statements
- 17:59 Changeset [1537] by
- 17:59 Changeset [1536] by
- fix xsltutil
- 17:38 Ticket #618 (Make an order in XSLTUtil) reopened by
- I found some problems concerning a resolver in XSLTUtil. I know that's the …
- 17:35 Changeset [1535] by
- added some debug code
- 16:05 Ticket #619 (Make tests for parallel rendering) closed by
- fixed: I added tests for ImportsAware? and some other sources, that should be ok. …
- 16:03 Changeset [1534] by
- fix and test parallel rendering
- 16:03 Changeset [1533] by
- parallel testdata
- 14:57 Ticket #619 (Make tests for parallel rendering) created by
- We need tests for parallel rendering in order to avoid committing or …
02/02/10:
- 23:50 Changeset [1532] by
- remove build number from jomdoc.jar name
- 23:20 Changeset [1531] by
- fix test
- 23:13 Ticket #479 (Rendering fragment) closed by
- fixed: Ok the problem was in the ParallelRenderer?. I didn't have any tests with …
- 23:12 Changeset [1530] by
- fixed imports aware rendering with parallel renderer
- 22:30 Changeset [1529] by
- build updated for deploy
- 22:10 Ticket #591 (reorganize jomdoc/deploy) closed by
- fixed: I have restructured deploy, bleeding-edge is still the same only …
- 22:05 Changeset [1528] by
- make latest
- 21:56 Changeset [1527] by
- latest
- 21:49 Changeset [1526] by
- latest
- 21:21 Changeset [1525] by
- 21:14 Changeset [1524] by
- restructure deploy
- 21:14 Changeset [1523] by
- removing old directories from latest
- 21:13 Changeset [1522] by
- 20:36 Changeset [1521] by
- #618 - fix XSLTUtil
- 20:34 Ticket #618 (Make an order in XSLTUtil) closed by
- fixed: I fixed everything, and changed JOMDocDefaultURIResolver to …
- 19:37 Ticket #611 (Ref contraction in TNTBase) closed by
- fixed: I added ref contraction in ImportsAware?. You should provide a …
- 19:35 Changeset [1520] by
- #611 - ref contraction in ImportsAware?
- 18:19 Ticket #447 (jomdoc gets java path wrong) closed by
- fixed: no, this seems to work, closing the issue.
- 17:57 Changeset [1519] by
- Some temporary solution for setting custom resolvers
- 17:23 Ticket #618 (Make an order in XSLTUtil) created by
- There are some issues still that have to be fixed: 1) Create a single …
- 13:41 Changeset [1518] by
- fix jomdoc version
- 03:43 Ticket #564 (Adressing of informal elements) closed by
- fixed: I guess it can be closed.
- 03:18 Changeset [1517] by
- fix documentation
- 03:18 Changeset [1516] by
- fix documentation
- 03:10 Ticket #606 (Complex Variables not properly treated in presentation) closed by
- fixed: Should be working fine now.
- 03:08 Changeset [1515] by
- #606 - fix Normens fix
- 02:50 Changeset [1514] by
- fix constructors
- 02:49 Changeset [1513] by
- fix constructors
- 02:03 Ticket #611 (Ref contraction in TNTBase) reopened by
- I managed to get JOMdoc to resolve documents via TNTBase resolver. However …
- 01:50 Changeset [1512] by
- When resolver result is string, then we should take care of it
- 00:50 Changeset [1511] by
- Fixed an issue when there was # substituted by %23 in the jar path.
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)
Note: See TracTimeline
for information about the timeline view.
