Timeline
04/07/09:
- 21:43 Ticket #368 (JOBAD user evaluation) created by
- This is a tracker ticket for a user evaluation to be done. Steps: 1. …
- 21:25 Ticket #367 (Service that logs all interaction) created by
- For debugging and user evaluations we need a web service that logs all …
- 21:23 JavaScript edited by
- restructured (diff)
- 21:19 JavaScript edited by
- prog. paradigms (diff)
- 21:08 Changeset [748] by
- CIAO
- 20:28 Ticket #366 (Case study: enrich theorem prover library web sites with JOBAD) created by
- A suggestion from Lucas Dixon: Theorem provers usually come with large …
- 20:22 Ticket #365 (Write plugin developer's manual) created by
- … so that we can start the community-building around JOBAD and invite …
- 20:19 Ticket #364 (Consider privacy and trust in interaction with 3rd-party web services) created by
- A suggestion from Dieter Hutter: When a client-side document talks to …
- 20:03 Ticket #363 (Deep inspection of folded induction proofs) created by
- An improvement suggested by Dieter Hutter: When the steps of an induction …
- 12:30 Ticket #362 (Turn context menu into a Firefox extension that integrates into the real ...) created by
- Advanced users of JOBAD in Firefox may consider the interference with the …
- 01:10 Ticket #361 (JOBAD context menu hides browser context menu) created by
- Michael says: Oh, and one more problem: The menu I get on my right mouse …
- 01:09 Ticket #360 (Context menu doesn't work on Mac Firefox) created by
- Michael says: I have also tried the demo, and with Firefox 3.1b3 on Mac …
- 00:50 Ticket #359 (Link to servlet does not work) created by
- What is the purpose of the link to the "ServingOMDoc servlet" in the …
04/06/09:
- 22:00 Ticket #349 (Close old milestones) closed by
- fixed: Thanks for your help, Dimitar. I have closed the respective milestones. …
- 19:44 Changeset [747] by
- junit tests refactoring #350
- 18:51 JOBAD edited by
- def. lookup (diff)
- 18:38 Ticket #358 (Hard-coded server URL for definition lookup makes deployment impossible) created by
- Currently, the server URL (http://localhost:8080/ServingOMDoc) is …
- 18:01 Ticket #357 (Test case for parallel markup lookup) created by
- If it is easily possible to add an action just locally from a test case …
- 17:54 Ticket #356 (Too many div levels in popup dialogs) created by
- The definition lookup looks as follows: […] The id2 and id3 divs look …
- 17:32 Ticket #355 (Revise "new String(...)") created by
- Why do you sometimes write […] when bar already is a String-typed …
- 17:29 Ticket #354 (Prefix IDs of generated HTML elements with something that's almost unique ...) created by
- JOBAD generates some HTML elements (e.g. pop-up dialog divs) on the fly. …
- 17:27 Ticket #353 (Get rid of "AJAX support" and "definition lookup" interdependencies) created by
- AJAXsupport currently calls the handleResponseDialog function declared in …
- 03:56 Changeset [746] by
- fixing tests #350
- 03:54 Changeset [745] by
- fixing tests #350
04/05/09:
- 17:17 Changeset [744] by
- parallel markup support finished
04/04/09:
- 20:29 Ticket #352 (Presentation-to-content lookup in ubiquity) created by
- Is it possible to write a subroutine or so for ubiquity that implements …
- 18:00 Changeset [743] by
- 17:58 Changeset [742] by
- symbol defintion lookup works with jomdoc
- 02:45 Changeset [741] by
- 02:36 Changeset [740] by
- definition lookup updated
- 01:27 Changeset [739] by
- xsl Jobad sheet stylesheet and script links corrected
- 01:17 Changeset [738] by
- testcases fixed
04/03/09:
- 17:54 Changeset [737] by
- expandDefinition label in the context menu replaced with Lookup Defintion
- 17:50 Changeset [736] by
- small upgrade
- 17:48 Changeset [735] by
- small upgrade
04/02/09:
- 04:23 Changeset [734] by
- index.jsp changed
- 04:08 Changeset [733] by
- demo
04/01/09:
03/31/09:
- 00:21 Ticket #351 (Drop iterate/@precedence) created by
- Another issue that was neglected on the mailing list… I will turn all of …
03/26/09:
- 13:25 Ticket #350 (Automate all test cases yielding XML output using XMLUnit) created by
- As I didn't get feedback on the mailing list, let me turn this into a …
- 13:25 Ticket #349 (Close old milestones) created by
- 0.1.0 and 0.1.1 are old releases, maybe 0.1.2 is, too? Please close these …
- 09:52 Ticket #348 (Problems with IC attribute) closed by
- fixed: sorry, buggy testdata.
- 09:48 Ticket #348 (Problems with IC attribute) created by
- The attached files work for the GC option, providing the pair: …
03/25/09:
- 22:49 Changeset [729] by
- adding sectioning layout for omgroup
- 05:05 Ticket #344 (Integrating the JOMDoc XSLT handling) reopened by
- Great, thanks for fixing this. I can run the command line example now. …
- 00:33 Ticket #344 (Integrating the JOMDoc XSLT handling) closed by
- fixed
- 00:32 Changeset [728] by
03/24/09:
- 23:48 Changeset [727] by
- 23:47 Changeset [726] by
- 22:51 Ticket #344 (Integrating the JOMDoc XSLT handling) reopened by
- Replying to dmisev: > Ups sorry about that No problems, works …
- 08:40 Ticket #344 (Integrating the JOMDoc XSLT handling) closed by
- fixed: Ups sorry about that
- 08:39 Changeset [725] by
- 06:03 Ticket #344 (Integrating the JOMDoc XSLT handling) reopened by
- Replying to dmisev: I'd like to test this, but unfortunately …
03/23/09:
- 22:08 Ticket #347 (Convert UUID into valid NCName) closed by
- fixed
- 22:02 Ticket #346 (How to assure globally unique identifiers) closed by
- fixed: see ticket:347
- 22:01 Ticket #347 (Convert UUID into valid NCName) created by
- see ticket:345 for previous discussion. Could you please adapt …
- 21:54 Changeset [724] by
- 19:25 Ticket #346 (How to assure globally unique identifiers) reopened by
- Due to problems with UUID (see ticket:345), I am introducing a second …
03/22/09:
- 23:13 Ticket #344 (Integrating the JOMDoc XSLT handling) closed by
- fixed
- 23:13 Changeset [723] by
- 23:12 Changeset [722] by
- 23:06 Ticket #346 (How to assure globally unique identifiers) closed by
- worksforme: I just talked to Michael, who also believes that the ids are an issue we …
- 22:32 Ticket #346 (How to assure globally unique identifiers) created by
- I have been facing a problem with the xml:ids. First of all, there are …
- 22:09 Changeset [721] by
- 20:49 ReportDimitarMisev edited by
- (diff)
- 20:01 Ticket #325 (Extending the JOMDoc Renderer) closed by
- fixed: okay, thanks.
- 19:59 Ticket #345 (Using XSLT for OMDoc with ref Elements) created by
- I am playing a bit with the XSLTs and have used them to convert an OMDoc …
- 19:05 Changeset [720] by
- #325
- 19:00 Ticket #343 (Which package to use) closed by
- fixed: yeah, sorry. I left the old build directory when compiling the previous …
- 18:47 Ticket #337 (Please add a OMDocNode.get/setContext()) closed by
- fixed: Replying to dmisev: > done, getContext() will return the …
- 18:28 Changeset [719] by
- 18:28 Changeset [718] by
- 18:23 Changeset [717] by
- 18:20 Changeset [716] by
- 18:19 ReportDimitarMisev edited by
- (diff)
- 18:08 Ticket #333 (How to create a unique ID for an extracted element?) closed by
- fixed: I'll have this in mind when implementing the expansion.
- 18:04 Ticket #334 (Casting Exception in Parser) closed by
- fixed: It should be fixed.
- 17:49 Ticket #335 (Please add a OMDocNode.copy()) closed by
- fixed: Best way to make deep copy of an OMDocDocument would be […] for …
- 17:44 Ticket #330 (How to create a new OMDoc Document) closed by
- fixed: I changed toDocument to getDocument and fixed it, it should always return …
- 14:23 Ticket #341 (Parsing of Context Annotations) closed by
- fixed
- 04:12 Ticket #344 (Integrating the JOMDoc XSLT handling) created by
- concerning ticket:343 The org.omdoc RendererFactory? does not allow to set …
- 04:07 Ticket #343 (Which package to use) created by
- I can choose between two different packages for the JOMDoc classes, e.g. …
03/21/09:
- 21:36 Ticket #342 (Bug in the IC conversion) created by
- There seems to be a problem with the ic conversion. Using the attached …
- 03:02 Ticket #341 (Parsing of Context Annotations) created by
- language:Russian,ru;language:ru is parsed to [(language,ru), …
- 00:02 Changeset [715] by
- testing ajax
03/20/09:
- 22:03 Changeset [714] by
- update
03/18/09:
- 05:51 WikiStart edited by
- (diff)
- 00:34 Changeset [713] by
- fixed Makefile with external
03/17/09:
- 21:06 Ticket #338 (OMDoc Document as Child of Theory; Narrative Elements) closed by
- fixed: Replying to kohlhase: > Replying to cmueller: > > …
- 17:46 Changeset [712] by
- tooltip update
- 02:25 Ticket #340 (synchronized iteteration in notation definitions.) created by
- here is something that I an not sure that our notation system can really …
- 00:43 Ticket #339 (add licensing information to all files) created by
- I could not find any information on licensing information on JOBAD, in …
03/16/09:
- 19:06 Ticket #338 (OMDoc Document as Child of Theory; Narrative Elements) created by
- I am browsing the JOMDoc Data Structure and have some question concerning …
- 03:12 Ticket #337 (Please add a OMDocNode.get/setContext()) created by
- public Context getContext(): The method access the private variable …
- 03:08 Ticket #336 (OMDoc vs. XOM DataStructures) created by
- I am not an expert but I have the feeling that an OMDocNode should not …
- 03:03 Ticket #335 (Please add a OMDocNode.copy()) created by
- A deep copy of an OMDocNode. Could you please tell me which of the below …
03/15/09:
- 04:59 Ticket #334 (Casting Exception in Parser) created by
- If I pass a XOM Document to Parser.parse() I get a casting exception: …
- 02:49 Ticket #333 (How to create a unique ID for an extracted element?) created by
- Do we assume that all elements in a document have globally unique ids, …
- 01:02 Ticket #331 (Copy() for XOM) closed by
- fixed: thanks.
03/14/09:
- 22:14 Ticket #332 (Internal Data Structure for a Collection of Infoms/ NarrativeStructure) created by
- relates to the discussion in ticket:329. I am looking for an appropriate …
- 22:00 Ticket #331 (Copy() for XOM) created by
- I just want to make sure I get the copy() method. Can you please revise …
- 21:48 Ticket #324 (Clarrifying NotationOption) closed by
- fixed: Replying to dmisev: > Yes sure, there are test for these in …
- 21:45 Ticket #325 (Extending the JOMDoc Renderer) reopened by
- Replying to dmisev: > I added renderElement and …
- 21:34 Ticket #330 (How to create a new OMDoc Document) created by
- Could you please point me to the section in JOMDoc where I can see how you …
- 21:05 Ticket #326 (Review of Ref Expansion and Contraction) closed by
- duplicate: > > Take a look into OMDocDocument.toContent and Ref.getTarget > As I …
- 20:05 Ticket #329 (Ref contraction) created by
- In addition to ticket:328, I would like to revise the ref contraction to …
- 11:16 ReportDimitarMisev edited by
- (diff)
- 10:46 Ticket #248 (REF Contraction) closed by
- fixed: I'll close this ticket regarding it as a REF contraction task which has …
- 10:43 Ticket #328 (REF Expansion) created by
- Clarification for ticket:326. I am currently implementing the generation …
- 10:37 ReportDimitarMisev edited by
- (diff)
- 10:04 Ticket #327 (Generating unique ideas) closed by
- fixed: Use XMLUtil.newUUID()
- 09:36 Changeset [711] by
- #325
- 09:30 Ticket #325 (Extending the JOMDoc Renderer) closed by
- fixed: I added renderElement and renderElements, let me know if you have any …
- 09:27 Changeset [710] by
- #325
- 07:22 Ticket #327 (Generating unique ideas) created by
- I am looking for a routine to generate unique identifiers. Could you …
- 06:25 Ticket #326 (Review of Ref Expansion and Contraction) created by
- I am trying to follow the implementation for ref expansion and …
- 03:17 Ticket #325 (Extending the JOMDoc Renderer) created by
- Can we extend the JOMDoc renderer with * render(Element e) * …
- 02:53 Changeset [709] by
- even more final
- 02:45 Changeset [708] by
- final (?) version
- 02:32 Ticket #324 (Clarrifying NotationOption) created by
- Could you please clarify the below options for the Rendering or point me …
- 02:22 Changeset [707] by
- new diagram
- 00:59 Changeset [706] by
- integr.sys.
- 00:41 Changeset [705] by
- screenshot
03/13/09:
- 23:41 Changeset [704] by
- backported CSS URL change
- 22:55 Changeset [703] by
- unit conversion done
- 22:31 Changeset [702] by
- integrated environment streamlined
- 22:30 Changeset [701] by
- 22:07 Changeset [700] by
- definition lookup revised
- 21:53 Changeset [699] by
- service advertising
- 21:49 Changeset [698] by
- service advertising
- 21:26 Changeset [697] by
- 21:23 Changeset [696] by
- small fixes
- 21:10 Changeset [695] by
- 20:48 Changeset [694] by
- shortened bib entries
- 20:38 Changeset [693] by
- service advertising revised
- 20:16 Changeset [692] by
- revised
- 20:15 Changeset [691] by
- smallcaps
- 19:41 Changeset [690] by
- removed ednote
- 19:39 Changeset [689] by
- shortened bib entries
- 19:06 Ticket #323 (Wikipedia article lookup) created by
- New idea for a service: look up this math. symbol in Wikipedia. …
- 18:25 Changeset [688] by
- starting to shorten bib entries
- 18:22 Changeset [687] by
- 15:31 Changeset [686] by
- architecture done (UI and format)
- 14:41 Ticket #322 (GUI module: one toolbar (with tool buttons, slider, etc.) per formula) created by
- Provide one toolbar per formula. Actions performed there (e.g. …
- 14:34 Ticket #321 (Figure out where to place "global" UI elements) created by
- Keyboard shortcuts, toolbars, sliders etc. are UI elements whose input …
- 13:11 Ticket #320 (Elision as maction (jomdoc render -d foldable): use mspace!) closed by
- fixed
- 13:10 Changeset [685] by
- #319,#320
- 13:10 Changeset [684] by
- elision revised
- 13:00 Ticket #320 (Elision as maction (jomdoc render -d foldable): use mspace!) created by
- It turned out that using an empty <mo/> for an elided bracket is maybe …
- 11:05 Changeset [683] by
- sync
- 10:28 Ticket #318 (Question: org.omdoc.jomdoc.ntn.coll.ctx.Context.add) closed by
- fixed: Thank you!
- 07:09 Ticket #319 (Adding a GC Constructor) closed by
- fixed
- 07:09 Changeset [682] by
- ntnascii
- 06:28 Ticket #319 (Adding a GC Constructor) created by
- Please add GC(Context) to allow to initialize a GC ContextSource? with a …
- 05:24 Ticket #318 (Question: org.omdoc.jomdoc.ntn.coll.ctx.Context.add) created by
- Could you please explain for what you use the index in Context.add(int …
03/10/09:
- 19:25 Changeset [681] by
- refactoring
- 19:02 Changeset [680] by
- rearranged requirements
- 13:07 Changeset [679] by
- minor revisions
- 12:34 Ticket #317 (Refactor JOBAD main module; allow for "service advertising") created by
- The main JavaScript module (currently in jobad.js), which loads all …
- 12:12 Changeset [678] by
- rewrote state of the art
03/09/09:
- 23:57 Changeset [677] by
- rewriting state of the art
- 22:37 Changeset [676] by
- rnc external re-added
- 22:34 Changeset [675] by
- rnc and mathml external removed
- 22:18 Ticket #316 (Consider JSON as a data format for communication of medium complexity) created by
- In this [ http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-018.pdf …
- 19:42 Changeset [674] by
- revised abstract; acknowledgments
03/08/09:
- 22:30 Changeset [673] by
- simplified architecture diag.; reintegrating Christine's comments
- 22:06 ReportDimitarMisev edited by
- (diff)
- 16:13 Changeset [672] by
- ntnascii
- 15:16 Changeset [671] by
- ntnascii
- 15:15 Changeset [670] by
- ntnascii
- 13:45 Changeset [669] by
- ntnascii testdata
- 13:41 Changeset [668] by
- ntnascii
- 13:39 Ticket #93 (Merge to trunk) closed by
- fixed: Done.
03/07/09:
Note: See TracTimeline
for information about the timeline view.
