Ticket #528 (new bug)

Opened 19 months ago

Last modified 14 months ago

update to OMDoc 1.6

Reported by: kohlhase Owned by: ewaryst
Priority: critical Milestone: 0.95
Component: interfaces Version: 0.8
Keywords: Cc: till

Description (last modified by kohlhase) (diff)

We are planning a maintenance release of OMDoc called OMDoc 1.6, which has named imports, the extended names of OMDoc 2.0 and the new notation system (also used in MathML3). We should update to that syntax as soon as the relaxng is fixed.

This is the tracker bug, will comment more in subsequent simpler bugs.

Change History

Changed 19 months ago by till

  • cc till added
  • owner changed from till to andreas
  • component changed from hets to interfaces

Changed 19 months ago by till

  • priority changed from major to critical

Changed 14 months ago by till

  • owner changed from andreas to ewaryst

Changed 14 months ago by kohlhase

  • description modified (diff)
  • summary changed from update to OMDoc 1.3 to update to OMDoc 1.6

changed title, since we changed our mind on OMDoc numbering

Note: See TracTickets for help on using tickets.