Mercurial Mercurial > wneuper > isac / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
README
author Walther Neuper <neuper@ist.tugraz.at>
Mon, 04 Oct 2010 17:09:39 +0200
changeset 3924 d28ded3f3d74
child 3928 d38196e9b162
permissions -rw-r--r--
converted from cvs containing isac proto2, i.e. java, sml, sql, xml

removed sml (by now included in Isabelle), cleaned up
ATTENTION: xmldata/thy to be included after update Isabelle2002 -> 2009-2

TODO: remove xmldata/thy from hgignore
neuper@3924 
     1
 
../isac/README
neuper@3924 
     2
 






neuper@3924


     3


 CVS/		see ../README-proto2







neuper@3924


     4


 README		this file







neuper@3924


     5


 admin/		administrative docs of interest for the isac-team







neuper@3924


     6


 doc/		design documents (urd, srd, add, sdd, usecases) and others







neuper@3924


     7


 etc/   	not yet used 







neuper@3924


     8


 lib/		tools for java, xml etc.







neuper@3924


     9


 src/		of java-frontend und sml-kernel







neuper@3924


    10


 xmldata/	theories, problems, methods; examples for tests













wneuper/isac