| Tue, 12 May 2020 10:14:09 +0200 | distribute code from old Specify/ptyps.sml | file | diff | annotate |
| Mon, 11 May 2020 20:49:27 +0200 | prep. remove Specify/mstools.sml | file | diff | annotate |
| Mon, 26 Aug 2019 17:40:27 +0200 | rename Isac.thy --> Isac_Knowledge.thy | file | diff | annotate |
| Fri, 14 Oct 2011 16:12:50 +0200 | begin repair test/../intergrate.sml | file | diff | annotate |
| Tue, 26 Jul 2011 16:50:27 +0200 | tuned | file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 | make Test_Isac.thy run in jEdit; intermed. | file | diff | annotate |
| Wed, 06 Oct 2010 15:12:41 +0200 | intermed. test/../integrate.sml in -- me method [diff,integration] -- | file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
| Wed, 08 Sep 2010 16:47:22 +0200 | tuned src + test | file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 | renamed test/* according to src/* | file | diff | annotate | base |