Roadmap

• Milestone: 0.3

  4 years late (03/31/08)

  60%

  Closed tickets:

  15

  Active tickets:

  10

  / Total tickets:

  25

  Extensive support particularly for editing OpenMath content dictionaries, and hence for the OpenMath subset of OMDoc. Prototyping certain semantic features originally planned for OMDoc with the simpler OpenMath format. Meeting concrete needs of the OpenMath developers.

• Milestone: 0.4

  4 years late (06/30/08)

  36%

  Closed tickets:

  5

  Active tickets:

  9

  / Total tickets:

  14

  The first OMDoc added-value services, mainly targeted at editors (of the GenCS lecture notes?)

  • theoretical preparations:  extending the document ontology and finding out which way of knowledge representation and reasoning (both concerning formal requirements and available implementations) is suitable.
  • make OMDoc metadata available in the GUI (#1283)
  • basic plugin architecture aka service interface (#1413)
  • auto-completion (#1298)
  • XML validation (#1417, #1276)
  • section editing aka edit-in-place (#1300)

• Milestone: unknown

  No date set

  54%

  Closed tickets:

  44

  Active tickets:

  38

  / Total tickets:

  82