| author | isacdev |
| Sat, 24 Nov 2007 18:59:07 +0100 | |
| branch | start-work-070517 |
| changeset 254 | 191c5ce5982d |
| parent 253 | cbca0358c49c |
| child 3925 | b20486d15ea3 |
| child 3938 | cc9d581f92e8 |
| 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