Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 | changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/ | file | diff | annotate |
Fri, 10 Sep 2010 11:58:46 +0200 | intermediate in Knowledge/Isac.thy | file | diff | annotate |
Mon, 23 Aug 2010 11:05:54 +0200 | updated xmlsrc/* except interface-xml.sml | file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 | moved isac + test to final dire-structure | file | diff | annotate |