Timeline
07/06/09:
- 23:39 Changeset [856] by
- changes3
- 23:38 Changeset [855] by
- add shortcuts.js
- 23:38 Changeset [854] by
- changes2
- 23:37 Changeset [853] by
- changes
07/05/09:
- 22:48 Ticket #424 (Analyse JOMDoc to handle different OMDoc versions) closed by
- fixed: I added an annotation @Version which should be used to specify OMDoc …
- 22:40 Changeset [852] by
- version annotation
- 19:38 Ticket #425 (Create manual on current ref/narcon implementation) created by
- Document the current implementation of ref expansion and contraction. …
- 19:36 Ticket #424 (Analyse JOMDoc to handle different OMDoc versions) created by
- Review the design of JOMDoc. Analyse how to change JOMDoc to consider …
- 19:33 Ticket #423 (Revision of JMDoc for cross-referencing and refs) created by
- This ticket implements the revision of OMDoc. Do not start this tasks …
- 14:01 Changeset [851] by
- reorganized JAR directory structure
- 12:41 Changeset [850] by
- debug level fixed
- 12:35 Changeset [849] by
- debug level added
- 12:10 Changeset [848] by
- more HTML conformance
- 01:02 Changeset [847] by
- unit conversion service update
07/04/09:
- 01:00 Changeset [846] by
- nicely rendered, almost
- 00:49 Ticket #422 (XML comments in notation definitions confuse the renderer) created by
- In https://svn.omdoc.org/repos/omdoc/trunk/examples/omstd/logic1.ntn there …
- 00:36 Changeset [845] by
- fixed some notation issues, created bug test case
- 00:25 Ticket #421 (render -D doesn't work as expected) created by
- or I misunderstand its documentation. When rendering file.omdoc, isn't …
- 00:17 Ticket #405 (XSLT problem) closed by
- fixed: yes probably that one contained the wrong xslts, I updated it.
- 00:14 Changeset [844] by
- 00:12 Ticket #420 (jomdoc-trunk does not compile (NotationsTest using XSLTUtil.transform)) closed by
- fixed
- 00:11 Changeset [843] by
- fixed #420
- 00:07 Ticket #405 (XSLT problem) reopened by
- @Dimitar, for some reason I'm still getting such a bug when running the …
07/03/09:
- 23:59 Ticket #420 (jomdoc-trunk does not compile (NotationsTest using XSLTUtil.transform)) created by
- […]
- 15:56 Ticket #419 (Provide a recent version for download) created by
- … or link from the homepage to the bleeding edge version, please. I just …
07/01/09:
- 02:28 Ticket #418 (Revise checks for "undefined") created by
- I noticed the your new way of introducing a "ND" result for … "not …
06/30/09:
- 23:41 Ticket #417 (Factor visibility/elision out of LATIN into an independent service) created by
- Elision has been reimplemented as a part of the LATIN service. But it is …
- 23:37 Ticket #416 (definitionLookupServiceSupportCheck - function is INCORRECT) created by
- this is currently there for state of completeness. the function doesn't …
- 23:35 Ticket #415 (fix the foldIn() and foldOut() functions) created by
- currently they only check if the object in focus is encapsulated with …
- 23:32 Ticket #408 (Hard-coded references to services in the context menu) closed by
- fixed: OK so this is majorly done... only some small bugs are left but in general …
- 23:28 Changeset [842] by
- prepareContextMenu - changed!
06/29/09:
- 10:58 Ticket #414 (load currently existing GUI modules from within the main jobad file) created by
- gui/actions.js and gui/contextMenu.js should be loaded from within …
- 10:55 Ticket #406 (Advertise services from the server side) closed by
- fixed
06/26/09:
- 15:53 JOBAD edited by
- context menu design (diff)
- 13:40 Ticket #413 (elision.getAllElevelSemanticsElements DOM bug) created by
- […] It should be document instead of object. The current code …
- 00:55 Ticket #412 (Rename utility/*support.js) created by
- Now that you have restructured the script module directories, you can drop …
- 00:34 Ticket #79 (Double check namespace handling) closed by
- fixed: yes can be closed I guess, I haven't heard of any such problems quite some …
06/25/09:
- 15:14 Ticket #407 (Hard-coded container element names/IDs in AJAXsupport) closed by
- fixed
- 15:14 Changeset [841] by
- typos fixed
- 15:13 Changeset [840] by
- ticket #407 Hard-coded container element names/IDs in AJAXsupport fixed
06/24/09:
- 23:40 Ticket #236 (Include JOBAD JavaScript into the rendered output) closed by
- fixed
- 23:39 Ticket #314 (change the hardcoded CSS style-sheet link for the servlet document ...) closed by
- fixed
- 23:33 Ticket #410 (Parallel markup getContentElement fails if @xref attribute doesn't exist) closed by
- fixed
- 23:32 Changeset [839] by
- ticket #410 - parallel markup now doesn't fail if @xref doesn't exist
- 23:21 Ticket #411 (Encode dependencies on utility modules and load them automatically) created by
- We do not always need to load all utility modules, as …
- 22:58 Changeset [838] by
- ticket: #406 - modules loaded from within the document itself, not …
- 22:50 Changeset [837] by
- modularizing jobad directory structure - main module support - ticket #211
- 22:50 Ticket #211 (Modularize directory structure) closed by
- fixed
- 21:44 Changeset [836] by
- modules directory modularized
- 21:43 Changeset [835] by
- directory modularized
- 21:35 Changeset [834] by
- modularizing jobad directory structure - main module support
- 21:33 Changeset [833] by
- small changes
- 16:32 Changeset [832] by
- we do need HTML support in any case
- 16:27 Ticket #410 (Parallel markup getContentElement fails if @xref attribute doesn't exist) created by
- Another bug discovered by letting Firebug track all errors. From now on, …
- 16:20 Ticket #409 (Eliminate redundancy in elision module) created by
- The elision methods contain a lot of redundant code. By appropriate …
- 15:56 Ticket #408 (Hard-coded references to services in the context menu) created by
- The hard-coded references to services in the context menu are more evil …[…]
- 15:05 Ticket #407 (Hard-coded container element names/IDs in AJAXsupport) created by
- AJAXsupport.handleResponse makes a case distinction depending on concrete …
- 12:57 Ticket #406 (Advertise services from the server side) created by
- In continuation of #317, now make the server output the loadModule …
06/23/09:
- 22:57 Ticket #380 (fix the parallel mark-up support module) closed by
- fixed
- 22:57 Ticket #317 (Refactor JOBAD main module; allow for "service advertising") closed by
- fixed
- 22:56 Ticket #375 (Content markup lookup does not conform to spec) closed by
- fixed
- 22:56 Ticket #358 (Hard-coded server URL for definition lookup makes deployment impossible) closed by
- fixed
- 22:55 Changeset [831] by
- added
- 22:54 Changeset [830] by
- additional changes and updates
- 22:54 Changeset [829] by
- additional changes and updates
- 22:52 Ticket #357 (Test case for parallel markup lookup) closed by
- fixed
- 22:52 Changeset [828] by
- parallel markup testcase created. - ticket #357
- 22:51 Changeset [827] by
- JOBAD main javascript module - currenly jobad_server.js refactored in …
- 22:48 Changeset [826] by
- - context menu item doIt() removed! - ticket #391 - context menu label - …
- 22:46 Ticket #391 (Use or drop context menu's doit() method) closed by
- fixed
- 22:46 Changeset [825] by
- context menu item doit() along with actionElement method doAction() …
- 22:44 Ticket #395 (Refactor AJAXsupport methods to parameter lists) closed by
- fixed
- 22:42 Changeset [824] by
- Ajax support module methods refactored to parameter lists - ticket #395
- 00:24 Ticket #405 (XSLT problem) closed by
- fixed: Should be fixed now. This bug was caused by Michael's recent additions to …
- 00:21 Changeset [823] by
- fixed syntax
06/21/09:
- 17:38 Ticket #221 (Related Work) closed by
- invalid
- 14:48 Changeset [821] by
- removing duplicate lines
06/20/09:
- 11:58 Ticket #405 (XSLT problem) created by
- I'm not sure whether this is some problem with saxon or the stylesheets: …
- 11:57 Changeset [820] by
- fixed #399
- 00:37 Ticket #243 (Look into unit converters) closed by
- fixed: We are now using this converter.
- 00:19 Ticket #404 (Delete milestone MCS notation paper) created by
- As this paper was rejected, everybody should retarget his/her tickets from …
- 00:00 Milestone MCS Notation Paper completed
06/16/09:
- 18:36 Ticket #403 (Integrate MathWebSearch) created by
- The context menu should have an entry to search for the selected term in …
- 16:04 Ticket #402 (Elision: hard-coded reference to groups) created by
- In revision 831 of the elision there is a hard-coded reference to the …
- 13:18 Changeset [819] by
- testing
- 13:18 Changeset [818] by
- testing
- 13:17 Changeset [817] by
- testing
06/11/09:
- 23:18 Ticket #399 (jomdoc validate crashes on theory-inclusion) closed by
- fixed: It should be fixed now.
- 23:15 Changeset [816] by
- fixed #399
- 20:01 Changeset [815] by
- 07:31 Changeset [814] by
- draining
06/08/09:
- 17:41 Ticket #401 (Handling elidable brackets) created by
- A different treatment of elidable brackets is proposed in …
06/07/09:
- 06:35 Ticket #400 (Inconsistency in the value "sequence" of the type attribute in omgroup - ...) created by
- MOVED OVER FROM the OMDoc TRAC. Inconsistency in the omgroup element …
06/06/09:
Note: See TracTimeline
for information about the timeline view.
