| author | wneuper |
| Sat, 05 Mar 2005 17:26:21 +0100 | |
| changeset 2152 | a863de293415 |
| 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