Administrativa

Administration

  • The administrators of this Trac site are Fulya Horozal, Vyacheslav Zholudev, Christoph Lange, Deyan Ginev.
    • Go to the  kwarc.info registration page to register a user account.
    • Ask the administrators if you need extended privileges (and the project maintainer agrees)
    • If you already have a Trac account for another project in this domain, or a Subversion account for this domain, please try that first. Accounts are valid for the whole domain and shared between Trac and Subversion.
    • 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.
  • The project's homepage is at http://www.kwarc.info/projects/arXMLiv/.
  • 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:arXMLiv.

Trac Starting Points