| author | wneuper |
| Fri, 17 Sep 2004 08:47:59 +0200 | |
| changeset 1853 | 236d20bb0a9e |
| parent 1759 | 1d77d51ddd08 |
| child 1958 | 357dd488c221 |
| permissions | -rw-r--r-- |
| wneuper@1273 | 1 |
../isac/README |
| wneuper@1273 | 2 |
|
| wneuper@1759 | 3 |
CVS/ see ../README-proto2 |
| wneuper@1273 | 4 |
doc/ design documents (urd, srd, add, sdd, usecases) and others |
| wneuper@1853 | 5 |
etc/ not yet used |
| wneuper@1273 | 6 |
lib/ tools for java, xml etc. |
| wneuper@1273 | 7 |
src/ of java-frontend und sml-kernel |
| wneuper@1273 | 8 |
xmldata/ theories, problems, methods; examples for tests |