author | wneuper |
Sat, 12 Mar 2005 06:14:55 +0100 | |
changeset 2162 | 161819a0cbbc |
parent 1958 | 357dd488c221 |
child 3928 | d38196e9b162 |
permissions | -rw-r--r-- |
1 ../isac/README
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