Timeline
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 …
07/11/09:
- 16:14 Ticket #432 (Rationalize XSLT URI resolution) created by
- I just noticed how the resolution of relative URIs is implemented in …
- 00:33 Changeset [900] by
- redoing GenCS as a proper external
- 00:32 Changeset [899] by
- redoing GenCS as a proper external
- 00:23 Changeset [898] by
- redoing GenCS as a proper external
- 00:22 Changeset [897] by
- redoing GenCS as a proper external
- 00:21 Changeset [896] by
- redoing GenCS as a proper external
07/10/09:
- 23:12 Changeset [895] by
- 23:11 Changeset [894] by
- 23:11 Changeset [893] by
- 23:10 Changeset [892] by
- 23:10 Changeset [891] by
- 22:49 Ticket #237 (Add method that serves the (rendered) definition of a symbol) closed by
- fixed
- 22:46 Ticket #313 (Test bundled jQuery (loaded via relative path) once more) closed by
- fixed
- 22:35 Ticket #396 (foldingsupport.mrowOrEquivalentCheck partly redundant with ...) closed by
- fixed
- 21:30 Ticket #430 (Make JOBAD server demo work offline) closed by
- fixed
- 21:14 Changeset [890] by
- 21:14 Changeset [889] by
- 21:14 Changeset [888] by
- 20:43 Ticket #301 (Test JOBAD with GenCS OMDoc) closed by
- fixed
- 15:23 Changeset [887] by
- 15:22 Changeset [886] by
- 15:22 Changeset [885] by
- 15:22 Changeset [884] by
07/09/09:
- 21:06 Changeset [883] by
- disabled buggy RDFa generation
- 02:36 Changeset [882] by
- 01:18 Changeset [881] by
- testdata
- 01:17 Changeset [880] by
- refactored resolvers
07/08/09:
- 20:53 Changeset [879] by
- fixed compile error
- 20:51 Changeset [878] by
- NtnUtil? cleanup
- 20:49 Changeset [877] by
- NtnUtil? cleanup
- 20:38 Changeset [876] by
- defined extensions in IOUtil
- 20:22 Changeset [875] by
- cleanup I/O utilities
- 03:19 Changeset [874] by
- changed style directory to an external, directly pointing to the trunk
- 03:00 Changeset [873] by
- fixed most of the renderer's notation handling, worked around the XSLT …
- 02:38 Changeset [872] by
- removed outer newlines. Output doesn't have to look nice, but it has to …
- 01:26 Ticket #431 (Clean up linking of XSLT directories into JOBAD server) created by
- I have already made one improvement, namely making server/web/style point …
- 01:10 Ticket #430 (Make JOBAD server demo work offline) created by
- I just realized: You can never trust the internet connection at …
- 00:52 Changeset [871] by
- trying to relocate style link
- 00:27 Changeset [870] by
- 00:22 Changeset [869] by
- cleanup old ref expansion contraction code
- 00:08 Ticket #429 (shortcuts.js doesn't support non-US keyboards) created by
- file a bug report to the developer!
- 00:06 Ticket #428 (Make shortcuts work for selection as well) created by
- myAdd(shortcut, callback) would call shortcut.add(shortcut, F o callback) …
- 00:06 Changeset [868] by
- fixed debug option
- 00:06 Changeset [867] by
- fixed 'ant test'
- 00:02 Ticket #427 (Revise unitConversion isConvertable() function) created by
- currently it is coded badly - just to work! please revise it, and use …
- 00:00 Changeset [866] by
- reviews
07/07/09:
- 23:59 Ticket #426 (Label the contextMenu items with the corresponding shortcut key) created by
- Label the context menu items with the corresponding shortcut key sequence …
- 23:55 Ticket #389 (Keyboard shortcuts as a user interface) closed by
- fixed
- 23:54 Ticket #416 (definitionLookupServiceSupportCheck - function is INCORRECT) closed by
- fixed
- 23:53 Ticket #415 (fix the foldIn() and foldOut() functions) closed by
- fixed
- 23:53 Ticket #315 (switch to JOMDoc API) closed by
- fixed
- 23:52 Ticket #254 (Unit conversion service) closed by
- fixed: There are other modifications that need to be made, but I will file …
- 23:42 Changeset [865] by
- sorry
- 23:38 Changeset [864] by
- blabla
- 23:15 Changeset [863] by
- replaced date classes with better alternatives
- 22:32 Changeset [862] by
- move to the right place
- 22:20 Changeset [861] by
- cleanup XMLUtil
- 21:59 Changeset [860] by
- fixed exception handling
- 21:31 Changeset [859] by
- moved ref methods out of OMDocDocument
- 14:42 Changeset [858] by
- maction bug test file
- 00:57 Changeset [857] by
- replaced mathtestcase by a symlink
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
Note: See TracTimeline
for information about the timeline view.
