| Mon, 18 May 2015 14:08:09 +0200 | outcomment parallelism for simplifying integration of libisabelle | file | diff | annotate |
| Mon, 30 Jun 2014 16:40:44 +0200 | checked test/../states.sml | file | diff | annotate |
| Wed, 25 Jun 2014 13:33:16 +0200 | parallel calls to autoCalculate added to tests | file | diff | annotate |
| Fri, 14 Oct 2011 16:12:50 +0200 | begin repair test/../intergrate.sml | file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 | make Test_Isac.thy run in jEdit; intermed. | file | diff | annotate |