Timeline
11/08/08:
- 13:31 WikiStart edited by
- (diff)
- 13:30 WikiStart edited by
- (diff)
- 13:30 WikiStart edited by
- (diff)
- 09:01 Changeset [209] by
- deploy infrastructure
11/07/08:
- 16:06 Changeset [208] by
- 16:03 Changeset [207] by
- --imports-aware improved
- 01:36 ReportMajaGrintal created by
11/06/08:
- 18:03 Ticket #123 (make an exportable executable) created by
- Since I brought up this topic, I think I have to make a ticket for this. …
- 15:02 JOBAD edited by
- linkfix (diff)
- 14:58 Changeset [206] by
- --imports-aware improved
- 03:34 ReportDimitarMisev edited by
- (diff)
- 03:30 Ticket #122 (RelaxNG validation) created by
- Related to #69 --validate, -V can now be used to do RelaxNG validation. …
- 03:19 Changeset [205] by
- RelaxNG validation
- 02:45 Changeset [204] by
- RelaxNG validation
- 02:24 Changeset [203] by
- RelaxNG validation libs
- 02:17 Changeset [202] by
- added RelaxNG validation
11/05/08:
- 23:26 WikiStart edited by
- more detail (diff)
- 22:48 Ticket #76 (Verify if cdbase suport is correctly implemented) closed by
- fixed
- 22:45 Ticket #55 (command line client) closed by
- fixed: I'll close this ticket, because the command client has been implemented …
- 16:06 Changeset [201] by
- 16:04 Changeset [200] by
- imports aware notation collecting
11/04/08:
- 09:51 Ticket #121 (<imports> do not work for GenCS test) created by
- I have been working with the sTeX-generated OMDoc for GenCS, see for …
11/03/08:
- 14:10 WikiStart edited by
- self-registration (diff)
- 13:06 Ticket #120 (Get an understanding of the Flomdoc aka MMT server backend) created by
- * contact Florian * see JOBADServer
- 13:03 Ticket #119 (Get an understanding of the TNTBase server backend) created by
- * contact Vyacheslav * see JOBADServer
- 13:03 Ticket #118 (Get an understanding of the SWiM server backend) created by
- * contact Christoph * see JOBADServer
- 13:00 Ticket #117 (Read the notation paper(s)) created by
- To learn more about the way we render formulas and embed metadata into …
- 12:51 JOBADServer created by
- new
- 12:44 JOBAD edited by
- server environment (diff)
11/01/08:
- 01:33 Changeset [198] by
- imports aware notation collecting (initial commit)
10/31/08:
- 18:42 JOBAD edited by
- flexible event mapping (diff)
- 17:52 JOBAD edited by
- browsers we support (diff)
- 17:45 Ticket #116 (Implement a function that changes the color of an element) created by
- We would like the possibility to highlight elements. E.g. that some …
- 17:35 Ticket #115 (Implement a general function that recognizes the term that an element (or ...) created by
- The event handlers will tell us what element is under the cursor, or we …
- 17:33 JOBAD edited by
- (diff)
- 17:17 JOBAD edited by
- environment, to be continued (diff)
- 17:07 JOBAD edited by
- mrow (diff)
- 03:22 Ticket #114 (think of a use-case scenario for the left click on a math element) created by
- 03:19 Ticket #113 (provide the option to send a term to an application) created by
- 03:18 Ticket #112 (provide a guided tour -> document with info for the currently selected ...) created by
- (see #220 for the tooltip user interface)
- 03:17 Ticket #111 (support the folding of the currently selected term (context menu ...) created by
- 03:16 Ticket #110 (implement the symbol expand definition operation for "simple" definitions) created by
- First possibility is showing the definition in a tooltip (see #220 for the …
- 03:15 Ticket #109 (implement the symbol declaration look up) created by
- (see #220 for the tooltip user interface)
- 03:13 Ticket #108 (implement the onmouseover/onmouseout event handler -> tooltip-like ...) created by
- 03:12 Ticket #107 (implement the double-click event handler -> selection of a certain subterm ...) created by
- 03:10 Ticket #106 (implement the right-click event handler -> context menu) created by
- The event handler is registered for the whole document. It first checks if …
10/30/08:
- 18:34 JavaScript created by
- new, Design pattern book
10/29/08:
- 16:45 Ticket #105 (Create tickets for JOBAD tasks) created by
- Jana, this "meta ticket" is just a reminder for you to create individual …
- 16:43 Ticket #104 (Return the JavaScript Design Pattern book to have it renewed) created by
- Return the JavaScript Design Pattern book to Christoph so …
- 00:27 Ticket #103 (Extending the Context Collector to consider RDFa attributes) created by
- RDFa uses attributes from XHTML's meta and link elements, and generalises …
10/28/08:
- 00:48 Changeset [197] by
- strict <-> pragmatic conversion update
- 00:01 ReportDimitarMisev edited by
- (diff)
10/27/08:
- 23:44 Changeset [196] by
- strict <-> pragmatic conversion test files
- 23:44 Changeset [195] by
- strict <-> pragmatic conversion
10/24/08:
- 22:31 JOBAD edited by
- link to tickets (diff)
- 08:24 Meetings/20080916 edited by
- (diff)
- 00:14 Meetings/20080916 edited by
- (diff)
- 00:13 Meetings/20080916 edited by
- (diff)
- 00:10 Meetings/20080916 edited by
- (diff)
10/23/08:
- 23:47 Meetings/20080916 edited by
- (diff)
- 18:26 Meetings/20080916 edited by
- (diff)
- 18:25 Meetings/20080916 created by
- 18:23 JOMDocMeetings created by
- 18:21 WikiStart edited by
- (diff)
- 08:53 Ticket #102 (Example of a Verifun proof in OMDoc) created by
- As far as I know, we are working on the decoding/ encoding of Verifun's …
- 07:39 Ticket #101 (Abbreviation for Sub-Formulae) created by
- Reported by Michael: Another practice we could look at is the use of …
- 01:15 Ticket #100 (Evaluate design patterns for modular JavaScript libraries) created by
- In particular: Get the "JavaScript design patterns" book and read relevant …
10/22/08:
- 23:45 JOBAD edited by
- knowledge representation (diff)
- 23:33 Ticket #99 (Port rhetorics visualization to real RDFa) created by
- In the first implementation of the rhetorics visualization we embedded the …
- 23:02 Ticket #98 (OpenMath attributes are lost during conversion) created by
- I am not sure whether this is a bug or a feature ... I realized that …
- 22:56 Ticket #97 (XHTML Output of JOMDoc) created by
- I just realized that it is simply due to the file ending, that the output …
- 22:48 Ticket #96 (Alternative MathML for the binomial coefficient) created by
- I forwarded an example from JOMDoc to Dominique Archambault, who is …
10/20/08:
- 14:06 Ticket #95 (No mailinglist archive) closed by
- fixed: Oh, I just saw the Archiving Options Section. So I set these to …
- 14:00 Ticket #95 (No mailinglist archive) created by
- Something is wrong with the mailing list archive. Normen, could you …
- 13:54 JOBAD edited by
- requirements (diff)
- 13:52 JOBAD created by
- some requirements
- 13:29 WikiStart edited by
- +JOBAD (diff)
10/18/08:
- 03:28 Ticket #30 (Reflexive XML for Rendering Elements) reopened by
- @Dimitar: Could you please point me to the unit tests for this task. I'd …
10/17/08:
- 15:18 Ticket #91 (HTTP interface) closed by
- fixed: Ops sorry, I saw your last email after I created the ticket. I agree with …
- 14:59 Ticket #90 (mcd:cr parallel markup hints for quant1#forall and quant1#exists are wrong) closed by
- fixed: Replying to dmisev: > I fixed this in omstd.ntn. Normen please …
- 14:58 Changeset [193] by
- external to MathML added
- 14:05 ReportDimitarMisev created by
- 14:00 WikiStart edited by
- (diff)
- 13:52 Ticket #94 (Close ntnascii branch) created by
- If #93 close branch.
- 13:50 Ticket #93 (Merge to trunk) created by
- If #92 and style guides are fulfilled, i.e. coding styles and API …
- 13:48 Ticket #92 (Handover) created by
- Arrange handover to Dimitar/ Normen. Clarify/ demonstrate all requirements …
- 12:44 Ticket #30 (Reflexive XML for Rendering Elements) closed by
- fixed
- 12:40 Ticket #91 (HTTP interface) created by
- Slava asked me if JOMDoc has an HTTP interface. Here's a ticket to discuss …
- 12:24 Ticket #63 ('ant javac' fails on Windows) closed by
- fixed
- 12:12 Changeset [191] by
- fixed windows javac task
- 11:25 Changeset [190] by
- fixed csymbol bug
- 11:24 Changeset [189] by
- fixed csymbol bug
- 10:28 Changeset [188] by
- 10:28 Changeset [187] by
- 10:15 Ticket #71 (Command-line option jomdoc render -f is not intuitive) closed by
- fixed
10/16/08:
- 22:48 Changeset [186] by
- added the options suggested by Christoph to the client
- 13:01 Ticket #78 (Bug in the XSLT conversion?) closed by
- fixed
- 11:11 Ticket #88 (jomdoc script doesn't work when symlinked) closed by
- fixed: Yes, it's fixed.
Note: See TracTimeline
for information about the timeline view.
