Ticket #629 (closed news: fixed)

Opened 2 years ago

Last modified 16 months ago

2010-02-03: JOMDoc 0.1.4 released!

Reported by: vzholudev Owned by: vzholudev
Priority: major Milestone:
Component: Marketing Version: v0.1.4
Keywords: Cc:
Blocked By: Blocking:
Due to close: YYYY/MM/DD Include in GanttChart: no
Dependencies: Due to assign: YYYY/MM/DD

Description (last modified by vzholudev) (diff)

JOMDoc v0.1.4 has been released. New in this version:

  • JOMDoc is now fully integrated in TNTBase

( https://trac.mathweb.org/tntbase/)

  • An "Abstract Documents Module" which allows for context-sensitive

concretion and abstraction of documents

  • Refactored and unified notation and variant modules
  • Refactored and unified the URI resolvers used in JOMDoc
  • Many fixed bugs and improved tests

Full release notes:  https://trac.omdoc.org/jomdoc/wiki/JOMDoc014

Download:  https://trac.omdoc.org/jomdoc/wiki/Download

Change History

Changed 2 years ago by vzholudev

  • description modified (diff)

Changed 2 years ago by vzholudev

  • description modified (diff)

Changed 2 years ago by vzholudev

  • description modified (diff)

Changed 2 years ago by vzholudev

  • status changed from new to closed
  • resolution set to fixed

Changed 17 months ago by kohlhase

  • summary changed from JOMDoc 0.1.4 released! to 2010-02-03: JOMDoc 0.1.4 released!

Changed 16 months ago by dmisev

  • milestone Release v0.1.5 deleted
Note: See TracTickets for help on using tickets.