Mon, 18 May 2015 14:08:09 +0200 |
outcomment parallelism for simplifying integration of libisabelle
|
file | diff | annotate |
Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
Fri, 13 Jun 2014 12:06:38 +0200 |
moved from "Unsynchronized.ref states" to "Synchronized.var states"
|
file | diff | annotate |
Mon, 10 Mar 2014 21:07:35 +0100 |
user session management now parallel
|
file | diff | annotate |
Fri, 21 Jun 2013 11:19:18 +0200 |
Test_Isac.thy without errors on Isabelle2012, intermediate
|
file | diff | annotate |
Sat, 04 Aug 2012 16:42:05 +0200 |
outcommented tests on Unsynchronized.ref
|
file | diff | annotate |
Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
Mon, 30 Jul 2012 16:41:08 +0200 |
findFillpatterns: repaired signature
|
file | diff | annotate |
Fri, 25 May 2012 16:30:15 +0200 |
added "fun inputFillFormula"
|
file | diff | annotate |
Fri, 25 May 2012 09:58:20 +0200 |
cleaned "fun generate_inconsistent_rew"
|
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 |