README
author mlang
Tue, 28 Jun 2005 13:14:03 +0200
changeset 2544 631fe7f467b7
parent 1958 357dd488c221
child 3928 d38196e9b162
permissions -rw-r--r--
cosmetics part2
     1 ../isac/README
     2 
     3  CVS/		see ../README-proto2
     4  README		this file
     5  admin/		administrative docs of interest for the isac-team
     6  doc/		design documents (urd, srd, add, sdd, usecases) and others
     7  etc/   	not yet used 
     8  lib/		tools for java, xml etc.
     9  src/		of java-frontend und sml-kernel
    10  xmldata/	theories, problems, methods; examples for tests