| author | cropposc |
| Fri, 07 Mar 2008 10:53:15 +0100 | |
| branch | start-work-070517 |
| changeset 285 | 2d8940b9c351 |
| parent 253 | cbca0358c49c |
| child 3925 | b20486d15ea3 |
| child 3938 | cc9d581f92e8 |
| permissions | -rw-r--r-- |
| wneuper@253 | 1 |
../isac/README |
| wneuper@253 | 2 |
|
| wneuper@253 | 3 |
CVS/ see ../README-proto2 |
| wneuper@253 | 4 |
README this file |
| wneuper@253 | 5 |
admin/ administrative docs of interest for the isac-team |
| wneuper@253 | 6 |
doc/ design documents (urd, srd, add, sdd, usecases) and others |
| wneuper@253 | 7 |
etc/ not yet used |
| wneuper@253 | 8 |
lib/ tools for java, xml etc. |
| wneuper@253 | 9 |
src/ of java-frontend und sml-kernel |
| wneuper@253 | 10 |
xmldata/ theories, problems, methods; examples for tests |