Timeline
08/11/09:
- 22:14 Changeset [1144] by
- remove support for OMBase
- 22:12 Changeset [1143] by
- remove support for OMBase
- 22:12 Changeset [1142] by
- remove support for OMBase
- 18:01 Ticket #507 (2009-08-05: OMDoc 1.3 branch for JOMDoc) created by
- as we make progress with OMDoc 1.6, the format quickly distances itself …
- 17:20 Ticket #506 (2009-07-23: JOBAD competes in the AI Mashup Demo) created by
- The annual German AI Conference …
- 14:33 Ticket #505 (Autocompletion for Notation Definitions) created by
- At the moment the patterns for notation definitions only work for the …
- 13:41 Ticket #504 (project news) created by
- The JOMDoc project now provides a news channel. To add to this news …
- 13:38 WikiStart edited by
- (diff)
- 13:35 WikiStart edited by
- (diff)
- 13:35 WikiStart edited by
- (diff)
- 13:34 WikiStart edited by
- (diff)
- 13:32 WikiStart edited by
- (diff)
- 13:31 Portal created by
- 13:31 WikiStart edited by
- (diff)
- 13:28 WikiStart edited by
- (diff)
- 13:04 AI-Mashup edited by
- fixed link (diff)
- 13:02 Changeset [1130] by
- slides not as wide
- 07:49 Ticket #474 (OMOBJ style="..." does not render) closed by
- fixed: yes, you are right. I had not seen the reference to #502. closing
- 01:21 Changeset [1129] by
- re-added test case for https://jomdoc.omdoc.org/ticket/422
08/10/09:
- 23:23 AI-Mashup edited by
- advertising abstract authors (diff)
- 22:11 Changeset [1128] by
- #503 - fix style attribute transfer
- 21:42 Changeset [1127] by
- #503 - fix for attribute for definition and axiom
- 21:14 Ticket #438 (Ref-introduction in OMDoc1.2) closed by
- fixed: Committed with the --ignore-xpaths removed.
- 21:13 Changeset [1126] by
- #438 - remove --ignore-xpaths
- 21:03 Changeset [1125] by
- #486 - ref-normal and self-contained contraction
- 20:24 Changeset [1124] by
- #486 - ref-normal and self-contained contraction
- 18:13 Ticket #503 (attribute for in definition is NCNames) created by
- We had a misunderstanding in OMDoc-1.2; the attribute @for on the …
- 16:40 Ticket #502 (Reduce number of spans (particularly class="displaymath")) created by
- Instead of wrapping formulae into span class="displaymath", directly …
- 16:33 Changeset [1123] by
- fixed syntax error
- 16:31 Changeset [1122] by
- fixed syntax error
- 16:27 Changeset [1121] by
- to-dos
- 16:25 Ticket #501 (Make "file" availability check work in non-filesystem settings (using ...) created by
- Checking whether the target of an image link is available (cf. …
- 16:21 Ticket #500 (Make the heuristic resolution of images without file extension more ...) created by
- At the moment, we have hard-coded the most common image types. With …
- 16:17 Changeset [1120] by
- more heuristics for omdoc:private image resolution, fixing …
- 14:10 Changeset [1119] by
- draining
- 14:08 Ticket #499 (spurious title boxes) created by
- In the XSLT that presents statements, we create a […] There is some …
- 13:39 Changeset [1118] by
- only show omdoc:symbol if it doesn't have a definition or has a type.
- 11:23 Changeset [1117] by
- ooops
- 10:49 Changeset [1115] by
- fixed #496 and tntbase:ticket:64 (again)
- 09:42 Ticket #464 (better treatment of definiendum (XSLT and CSS)) closed by
- fixed: Replying to kohlhase: > We need to treat definienda better in …
- 09:32 Changeset [1114] by
- adding definiendum
- 08:44 Ticket #498 (stylesheet error) created by
- I am getting […] and I do not know how to get better error messages on …
08/09/09:
- 23:49 JOBAD edited by
- AI mashup abstract (diff)
- 22:38 Ticket #496 (XHTML for exercise elements) closed by
- fixed: OK, I've implemented (but not tested) a simple solution for this, which …
- 22:36 Changeset [1113] by
- exercise title, fixing #496
- 20:17 Changeset [1112] by
- improved tokenization by whitespace
- 19:45 Changeset [1108] by
- now really fixed #494
- 19:39 Changeset [1107] by
- fixing #494; improved linking symbol -> definition; XPath 2.0 optimization …
- 13:31 Ticket #497 (Duplicate default.ntn "testcase") closed by
- fixed: It wasn't really used anywhere, I removed it.
- 13:30 Changeset [1097] by
- #497 - remove unused default.ntn
- 13:26 Changeset [1096] by
- #486 - non-unique ids testdata
- 13:25 Changeset [1095] by
- #486 - handle non-unique ids
- 12:05 Changeset [1092] by
- #486 - better error messages when JOMDoc is called from the command line
- 11:53 Changeset [1091] by
- #486 - testdata
- 11:53 Changeset [1090] by
- #486 - testdata
- 11:52 Changeset [1089] by
- #486 - show full error message
- 11:29 Changeset [1088] by
- #486 - Tgroup is a top-level element
- 11:20 Changeset [1087] by
- contract only refs of type include #486
- 10:48 Ticket #494 (Ref contraction with default XSLT?) closed by
- fixed: Replying to clange: > Replying to cmueller: > > > …
08/08/09:
- 18:49 Changeset [1086] by
- Merging from jomdoc-tntbase branch from rev 1009 (VZ)
- 17:25 Changeset [1083] by
- 15:27 Ticket #497 (Duplicate default.ntn "testcase") created by
- There is a duplicate version of default.ntn, which is now obsolete, as it …
- 14:31 Ticket #494 (Ref contraction with default XSLT?) reopened by
- Replying to cmueller: > Replying to clange: > > …
- 11:52 Ticket #494 (Ref contraction with default XSLT?) closed by
- fixed: Replying to clange: > You are right, but it's only done for …
- 11:28 AI-Mashup edited by
- back-conversion (diff)
- 11:00 Ticket #496 (XHTML for exercise elements) created by
- I used the default XSLT in JOMDoc to render an exercise element (`jomdoc …
- 10:38 Ticket #495 (Schema error) created by
- When calling jomdoc transform -V exam08-ref.omdoc I receive the …
- 10:33 Ticket #494 (Ref contraction with default XSLT?) created by
- Do the JOMDoc default XSLT initialise the contraction of ref-elements? …
- 10:22 Ticket #493 (Exception on empty theory name) created by
- JOMDoc throws an exception if the xml:id of a theory is empty. This is …
- 10:18 Changeset [1032] by
- one example for both client and server
- 10:12 Ticket #492 (Adressing of Ref elements) created by
- I propose a revision for the addressing of ref elements. Currently we …
- 09:52 Ticket #360 (Context menu doesn't work on Mac Firefox) closed by
- wontfix: It is not worth fixing this, as we have the keyboard workaround, and will …
- 09:50 Ticket #491 (Report Firefox bug: maction child drops below the line) created by
- […]
- 09:49 Ticket #490 (Report Firefox bug: maction with semantics does not always work) created by
- See comment:ticket:360:25. Please report this as a Firefox bug.
- 09:45 Ticket #489 (Remove hard-coded dependency of mathml.createMactionElement -> folding, ...) created by
- This method contains behavior specific to the elision and unit conversion …
- 09:40 Ticket #412 (Rename utility/*support.js) closed by
- fixed
- 09:40 Ticket #488 (Investigate GWT as a platform for porting JOBAD) created by
- GWT seems more reliable than our own crude mixture of jQuery UI and …
- 09:39 Ticket #487 (Investigate Sparks O3 as a platform for porting JOBAD) created by
- http://www.dcs.shef.ac.uk/~gregoire/sparks/ -- an RDFa browser based on …
- 09:37 Ticket #235 (Serve the sample document rendered with JOMDoc) closed by
- fixed: now it's obsolete, as TNTBase can serve rendered documents with the JOBAD …
- 09:27 Changeset [1031] by
- more intensional documentation
- 08:50 Ticket #486 (Testing the ref contraction) created by
- I would like to test the ref contraction (see ticket:437) with the …
- 00:38 Ticket #485 (Lightweight interface for acquiring user feedback) created by
- In a JOBAD-interactivized document it should be possible for readers to …
- 00:29 Ticket #484 (Show "busy" indicator while loading content from web service) created by
- Currently it takes several seconds to load content from a web service …
- 00:19 Changeset [998] by
- mentioned tntbase
- 00:00 Milestone MKM 2009 completed
- [ http://www.springerlink.com/content/hu21648u04665504/ Jana Giceva, …
08/07/09:
- 23:49 Changeset [997] by
- documented ticket
- 23:37 Changeset [996] by
- * removed some unnecessary comments (to be continued) * now no longer …
- 23:34 Ticket #483 (Definition lookup uses wrong content-markup symbol) closed by
- fixed
- 23:34 Ticket #483 (Definition lookup uses wrong content-markup symbol) created by
- @Jana: I'm currently trying to fix this myself, but help from you is still …
- 23:08 Ticket #482 (Disabled context menu items are still clickable) created by
- This behavior is not intuitive, of course. This can be solved immediately …
- 21:50 AI-Mashup edited by
- firefox 3.5 (diff)
- 21:49 AI-Mashup edited by
- reworked (diff)
- 20:48 Ticket #481 (Abolish contextMenu.relevantServices) created by
- There's another hard-coded dependency from the context menu on the other …
- 20:32 Changeset [991] by
- initial commit
- 19:50 Ticket #480 (Memory leak in NtnUtil) created by
- There is a keyCache map in the NtnUtil?.java, the keys are nu.xom.Element …
- 18:45 Ticket #438 (Ref-introduction in OMDoc1.2) reopened by
- Reopening once more, as discussed with Christine. There is no need for …
08/06/09:
- 22:10 Ticket #479 (Rendering fragment) created by
- During preparing a demo, I encountered a strange problem. What I do in …
- 17:20 Changeset [980] by
- README about jobad{,_server}.js
- 17:16 Ticket #478 (Compressed version of JS code) created by
- Now that we have lots of documentation in the JOBAD code and maintain a …
- 16:28 Changeset [979] by
- no more indentation
- 16:20 Ticket #477 (extend definition lookup to term element) created by
- <term/> is the OMDoc natural-language counterpart to OMS; it marks …
- 13:49 AI-Mashup edited by
- mac click (diff)
- 08:33 Ticket #476 (Problems with encoding) created by
- JOMDoc has the following problems with encoding. In many places it …
- 08:30 Ticket #475 (profiling JOMDoc) created by
- We really need to profile JOMDoc since it seems it has serious memeory …
- 08:21 Changeset [978] by
- fixed CSS
- 08:18 AI-Mashup edited by
- fixed click help (diff)
- 08:11 AI-Mashup edited by
- context menu usage (diff)
- 07:42 Changeset [977] by
- obsolete
- 07:27 Changeset [976] by
- last tweaks
- 06:04 AI-Mashup edited by
- link list (diff)
- 05:33 Changeset [975] by
- adapted URL format, now with context
- 05:15 Changeset [974] by
- recreated symlinks for client-side tests
- 05:11 Changeset [973] by
- recreated symlinks for client-side tests
- 04:58 AI-Mashup edited by
- more up to date (diff)
- 04:38 Changeset [972] by
- added server app context to load path
- 03:54 Changeset [971] by
- some fine-tuning
- 03:27 Changeset [970] by
- almost done
- 01:40 Changeset [969] by
- more XML compliance
- 00:40 Changeset [968] by
- 00:13 Changeset [967] by
- class should be prefixed with omdoc-
- 00:12 Changeset [966] by
- sync
08/05/09:
- 22:31 Ticket #446 (RendererFactory.setDynamic has outdated documentation) closed by
- fixed
- 22:31 Changeset [965] by
- fix #446
- 22:26 Ticket #450 (JOMDoc render crashes for non-numerical precedences.) closed by
- fixed: It should be fixed, let me know if you encounter this again.
- 22:25 Changeset [964] by
- fix #450
- 21:52 Changeset [963] by
- #472
- 21:41 Changeset [962] by
- #472
- 21:34 Changeset [961] by
- #472
- 20:45 Ticket #438 (Ref-introduction in OMDoc1.2) closed by
- fixed: Ok I changed the names -> closing the ticket.
- 20:44 Changeset [960] by
- change option names #438
- 20:37 Ticket #436 (Namespaces for Notation Module) closed by
- fixed: So new notations namespace should be http://omdoc.org/ns? I've changed …
- 20:36 Changeset [959] by
- change notation namespace #436
- 20:35 Changeset [958] by
- change notation namespace #436
- 19:06 Ticket #474 (OMOBJ style="..." does not render) created by
- Currently, pmml/copy-mobj.xsl wraps math elements into a `<span …
- 19:06 Changeset [957] by
- * Modularized * Headers with license and SVN keywords * Removed …
- 18:48 Ticket #473 (Relocate omdoc-swim.css into SWiM) created by
- now that everything is modularized, it should be easy
- 17:45 Ticket #472 (rendered XHTML is pretty-printed but should not) created by
- Pretty-printing the XHTML rendered by JOMDoc is harmful. Consider nested …
- 17:34 Ticket #471 (JOMDoc does not set CDBase for OMS in putput) created by
- AFAIK, JOMDoc currently does not output CDBases of symbols in the parallel …
- 17:27 Ticket #470 (definition lookup does not support cdbase) created by
- The JavaScript code of JOBAD does not send any CDBase of the requested …
- 16:43 Changeset [956] by
- omdoc-theory is the proper class name (same style as for the other …
- 15:40 Changeset [955] by
- #469 fixed
- 15:37 Ticket #463 (Presenting Complex Variables) closed by
- fixed
- 15:34 Changeset [954] by
- draft fix of #469
- 15:31 Changeset [953] by
- draft fix of #469
- 15:14 Ticket #469 (Add NotationDefinition to System Defaults) closed by
- duplicate: Seems like duplicate of #463, which I fixed by adding this notation to …
- 15:11 Changeset [952] by
- removed online debugging
- 15:09 Changeset [951] by
- fix #463
- 15:04 Changeset [950] by
- added notation definition and test case for complex var
- 14:56 Ticket #463 (Presenting Complex Variables) reopened by
- Wait, can you please bundle that with JOMDoc -- same as folding.ntn? …
- 14:53 Ticket #463 (Presenting Complex Variables) closed by
- fixed
- 14:53 Ticket #469 (Add NotationDefinition to System Defaults) created by
- Please allow to use the following notation definition from the system …
- 14:32 Changeset [949] by
- online debugging
- 14:29 Changeset [948] by
- online debugging
- 14:09 Changeset [947] by
- fixed xom version mismatch
- 13:46 Ticket #468 (choose a reasonable value for div.omdoc-derive/padding-left) created by
- When merging the CSSes, I see different values for […] Once, we have …
- 13:12 Changeset [945] by
- turned on SVN keywords
- 12:18 AI-Mashup created by
- start
- 11:28 Ticket #467 (CSS for line-end-comment) created by
- We need to have CSS for <note type="line-end-comment"> It should …
- 11:22 Ticket #466 (beautify slides) created by
- The slides are very ugly still. They should have a fixed width that is …
- 10:22 Ticket #465 (Fix handling of precedences) created by
- Change precedence handling in JOMDoc and document where (in the library) …
- 08:38 Ticket #464 (better treatment of definiendum (XSLT and CSS)) created by
- We need to treat definienda better in the stylesheets. Currently, …
- 08:10 Changeset [939] by
- draining
- 07:06 Ticket #463 (Presenting Complex Variables) created by
- OpenMath? has a very complex way of presenting variable names like $n_1$. …
- 06:33 Changeset [938] by
- janitorial
- 04:54 Changeset [937] by
- 04:51 Changeset [936] by
- 04:50 Changeset [935] by
- 04:49 Changeset [934] by
- 04:49 Changeset [933] by
- 04:48 Changeset [932] by
- 04:48 Changeset [931] by
- 04:47 Changeset [930] by
- 03:15 Changeset [929] by
- slides MKM09
08/04/09:
- 23:57 Ticket #462 (Check consistency of JavaDoc with method signatures) created by
- Of quite some methods the signature has changed, but the JavaDoc? was not …
- 23:26 Ticket #461 (XSLTUtil's URIResolver resolves unresolvable URIs wrongly and ignores base) created by
- I think I understood why we're getting strange XSLT error messages with …
- 21:34 Changeset [928] by
- first version
- 19:35 Ticket #460 (XSLTUtil optimizations, questions) created by
- in static block of XSLTUtil.java I can see the possibleoptmization: Now …
- 18:15 Ticket #459 (update Saxon to 9.1.0.7) closed by
- fixed
- 18:14 Changeset [927] by
- update saxon #459
- 17:43 Changeset [926] by
- draft
- 17:32 Ticket #459 (update Saxon to 9.1.0.7) created by
- A new version of Saxon (9.1.0.7) has been around for a while; could make …
- 17:17 Changeset [925] by
- trying to pretend XSLT 1.0 syntax
- 17:16 Changeset [924] by
- removed inexistent parameter
- 17:01 Changeset [923] by
- declared stylesheets that use XSLT 2.0 syntax as 2.0
- 10:51 Changeset [922] by
- created diretory for AI mashup challenge
- 10:28 Changeset [921] by
- branched -r944 for OMDoc 1.3
08/03/09:
- 22:13 Changeset [920] by
- #456
- 21:58 Ticket #457 (Document error codes) closed by
- fixed: jomdoc help --error-codes
- 21:56 Ticket #455 (Bug in a code) closed by
- fixed
- 21:55 Changeset [919] by
- fix #455
- 21:18 Changeset [918] by
- #438 ref introduction
08/02/09:
- 20:25 Ticket #458 (Imports resolver in JOMDoc) created by
- It turned out that depsite there is a ImportsResolver? class, it is not …
- 08:37 Changeset [917] by
- sorry, accidently commited to the wrong repository, restored the classpath …
- 08:33 Changeset [916] by
- spell checking
08/01/09:
- 15:44 Ticket #457 (Document error codes) created by
- Slava's comment on #456 made me think about command-line errors once more. …
- 12:33 Ticket #456 (Exceptions are not thrown in some cases) created by
- I think Dimitar knows what I'm talking about, but just in case I will …
- 12:24 Ticket #455 (Bug in a code) created by
- In class B for example, there is the follwoign code: […] The …
- 12:19 Ticket #454 (Short names for the names of some classes) created by
- There are classes like T,D,F,CD and so on. I think we should rename them …
07/30/09:
- 13:31 Ticket #453 ("convert to miles" appears in context menu even without unit conversion ...) created by
- Florian, I looked into the current code and didn't see that problem that …
- 13:28 Ticket #452 (Document JOBAD code) created by
- Reminder (same as in the e-mail): For all JavaScript files in script/, …
- 13:26 Ticket #451 (Clean up JOBAD directories) created by
- As a reminder for you and for myself, let me file this task here, too …
- 09:36 Ticket #336 (OMDoc vs. XOM DataStructures) closed by
- fixed: Yes I do :-) It has worked very well so far e.g. for the flattening or the …
- 08:29 Ticket #450 (JOMDoc render crashes for non-numerical precedences.) created by
- I get the following error […] with the notation definition […] that …
- 08:27 Ticket #449 (Abstract Document Module (use case for ref-introduction)) created by
- Add a "variant" element to JOMDoc. == Basic Abstraction == Implement the …
07/29/09:
- 16:56 Changeset [915] by
- minimal documentation
07/28/09:
- 06:37 Ticket #448 (bleeding edge cannot cope with folding and co) closed by
- invalid: sorry, was a problem with my Makefile.
07/27/09:
- 16:53 Ticket #448 (bleeding edge cannot cope with folding and co) created by
- I get an error that I have not seen before: […] can this be stylesheet …
- 14:01 Ticket #447 (jomdoc gets java path wrong) created by
- on MacOS, I have problems using bleeding-edge/jomdoc it gets the …
- 10:37 Ticket #437 (Ref-contraction in OMDoc1.2) closed by
- fixed
- 00:23 Ticket #446 (RendererFactory.setDynamic has outdated documentation) created by
- […] Documentation still assumes a boolean parameter.
07/26/09:
- 14:21 Ticket #445 (Still character set problems on raspberry (which is not UTF-8 by default)) created by
- @Jana, this is mostly FYI. I don't expect you to debug this. I still …
07/24/09:
- 17:19 Ticket #444 (Concrete patterns do not match stronger than general patterns) created by
- I created a mostly self-explanatory test case for this in …
- 16:49 Ticket #443 (Adaptive rendering of types) created by
- (sorry, not sure to whom to assign this, nor into which component to put …
- 01:15 Ticket #442 (Create tickets from Paul Libbrecht's feedback) created by
- At MKM, Paul Libbrecht gave some good feedback on selecting subterms and …
07/23/09:
- 21:39 Ticket #441 (Rendering of terms: don't link them while in the definition of the same ...) created by
- When we are in the definition or dc:description of a symbol S, I think it …
- 20:33 Changeset [914] by
- restored rendering of types; made @system optional
- 20:14 Changeset [913] by
- default setting for server
- 17:57 Ticket #440 (Definition lookup should show both declaration and definition) created by
- At the moment, we only show the definition of a symbol and could implement …
07/19/09:
- 00:08 Changeset [912] by
- 00:06 Changeset [911] by
- refactore class names
- 00:05 Changeset [910] by
- 00:04 Changeset [909] by
- ref contracting
07/18/09:
07/17/09:
- 12:34 Ticket #425 (Create manual on current ref/narcon implementation) closed by
- invalid: obsolete, see Normen's email.
- 00:53 Changeset [908] by
- removed XSLT path resolver, no longer needed
- 00:10 Changeset [907] by
- renamed some files: GenCS test and utility/* modules
07/16/09:
- 23:35 Changeset [906] by
- readme explaining GenCS setup
07/15/09:
- 17:43 Ticket #425 (Create manual on current ref/narcon implementation) reopened by
- 17:02 Ticket #425 (Create manual on current ref/narcon implementation) closed by
- fixed: Dear Christine, I thought I explained it so I was waiting for your input …
- 16:50 Ticket #332 (Internal Data Structure for a Collection of Infoms/ NarrativeStructure) closed by
- invalid
- 16:49 Ticket #329 (Ref contraction) closed by
- invalid: This ticket is obsolete. See ticket:437 for the implementation for refs.
- 16:48 Ticket #328 (REF Expansion) closed by
- invalid: This ticket is obsolete. See ticket:438 for the implementation of refs.
- 16:41 Ticket #423 (Revision of JMDoc for cross-referencing and refs) closed by
- invalid: Dear Dimitar, I discussed the ref-problem with Michael last week and …
- 16:40 Ticket #439 (Refactor all ref-related implementation) created by
- See ticket:423. We only work with OMDoc 1.2 for the implementation of ref …
- 16:38 Ticket #438 (Ref-introduction in OMDoc1.2) created by
- Ref introduction (formally called ref expansion) is the replacement of …
- 16:37 Ticket #437 (Ref-contraction in OMDoc1.2) created by
- Ref contraction is the replacement of ref elements with OMDoc elements. It …
- 16:32 Ticket #436 (Namespaces for Notation Module) created by
- In a discussion with Michael last week he encourage to think about the …
- 16:27 Ticket #435 (Rendering of Table of Contents) created by
- The generation of table of contents (ToC) is not related to refs (see …
- 13:44 Ticket #434 (jomdoc render does not want to create text output) created by
- I would like to use jomdoc render to create IMPS system files. So i am …
07/12/09:
- 23:43 Changeset [905] by
- hacks that made the demo work
- 22:20 JOBAD edited by
- (diff)
- 21:04 Ticket #433 (Java heap too small for GenCS) closed by
- fixed: yes, I'll have to check where's this memory used so much for parallel …
- 21:04 Changeset [904] by
- #433
- 21:04 Changeset [903] by
- #433
- 20:58 Changeset [902] by
- #433
- 20:57 Changeset [901] by
- #433
- 20:48 Ticket #433 (Java heap too small for GenCS) created by
- Even though the JOMDoc shell script sets 128M heap space, that's not …
Note: See TracTimeline
for information about the timeline view.
