| author | wneuper |
| Thu, 17 May 2007 14:05:19 +0200 | |
| changeset 3880 | 0b0dc38b1106 |
| 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