The OMDoc.org Portal

OMDoc.org serves as a community portal for the OMDoc community and as a clearinghouse for information about OMDoc-based projects and extensions to other sciences.

The Trac Source Code and Project Management for OMDoc

The OMDoc portal uses the  Trac sytem for integrated Source Code and Project Management to aid the development of software hosted here. Trac is a server-based discussion forum and bug tracking system. We use it to track, archive and discuss tasks, software bugs, and enhancements in our project. Discussions are centered about threads called "Tickets" (which need not be software bugs at all), which are numbered, can be searched, and can be referred to by their URL.

Using our Trac instance is very simple, just play around with the web interface (there are many things you can do without being logged in). We value your feedback, so feel free to  submit a ticket

Administrativa

• The administrator of this Trac site is Christoph Lange.
  • to register for the TRAC please to to  https://trac.omdoc.org/register/
  • Ask the the project maintainer (below) if you need extended privileges.
  • If you have a Subversion account, please try that first.
  • Please note that, apart from your user name and password, all further data (like real name and e-mail address) are kept separately by each Trac on this domain. Please enter them under "Preferences", if not already done.
• The project's maintainer is Michael Kohlhase.

Development

• While some development-related information can be found on the wiki pages of this Trac, the official wiki entry point for this project is  mathweb:OMDoc.