= Welcome to the Hets Wiki =

This is a Trac-based tracking system for managing bugs, features and tasks (and only those) in the development of the [http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm Heterogeneous Tool Set (Hets)].

Documentation about Hets is (and should always be) directly integrated into the Hets sources (not here). It is provided (via Haddock) 
[http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets/docs/ here].
Please read the [wiki:HetsForDevelopers information for Hets developers].

The relation between Trac components and Hets source folders is as follows:

|| ''Trac component'' || ''Owner'' || ''Hets folder''
|| basic-library     || till     || CASL-lib
|| casl-ext          || maeder   || CASL_DL, CoCASL, COL, ConstraintCASL, Modal, OWL_DL, CspCASL
|| comorphisms       || maeder   || Comorphisms
|| development-graph || till     || Static, Proofs
|| driver            || maeder   || Driver, pretty, ATC
|| hets              || maeder   || Common, doc, test, utils
|| interfaces        || till     || GUI, PGIP, Taxonomy, OMDoc
|| logic             || mcodescu || Logic, Syntax
|| logic-casl        || maeder   || CASL
|| logic-hascasl     || maeder  || HasCASL, Haskell
|| provers           || luecke  || Isabelle, SPASS
|| third-party       || maeder  || haifa-lite, uni

See also the ListOfStudents.

You can login as `guest` with password [[Image(htdocs:password-trac1.png)]] or you can ask for an account by sending an email to hets-trac or hets-devel (both at informatik.uni-bremen.de) 

== Trac and the Wiki ==
Read more AboutTrac.

As all Wiki pages, this page is editable, this means that you can
modify the contents of this page simply by using your
web-browser. Simply click on the "Edit this page" link at the bottom
of the page. WikiFormatting will give you a detailed description of
available Wiki formatting commands.

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