Administrativa

• The administrators of this Trac site are Michael Kohlhase, Christoph Lange.
  • to register for the TRAC please go to  https://trac.mathweb.org/register/wiki/account
  • Ask the the project maintainer (below) if you need extended privileges.
  • If you already have a Subversion account on mathweb.org, 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 "Settings", if not already done.
• The project's maintainer is Michael Kohlhase.

Trac Starting Points

• TracGuide -- Built-in Documentation
•  The Trac project -- Trac Open Source Project
•  Trac FAQ -- Frequently Asked Questions
• TracSupport -- Trac Support

For a complete list of local wiki pages, see TitleIndex.