| 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 |
| Mon, 16 Sep 2013 12:20:00 +0200 |
Test_Isac works again, perfectly ..
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Sat, 17 Mar 2012 13:33:25 +0100 |
uncomment test/../simplify,atools.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Thu, 10 Mar 2011 17:05:09 +0100 |
intermed.update Isabelle2011: Not --> HOL.Not
|
file | diff | annotate |
| Fri, 31 Dec 2010 14:54:02 +0100 |
removed error *** nxt_add: EX itm. not(dat(itm)<=dat(ori))
|
file | diff | annotate |
| Wed, 03 Nov 2010 11:54:53 +0100 |
----- final tests go through (test/../interface.sml)
|
file | diff | annotate |
| Wed, 03 Nov 2010 09:45:59 +0100 |
check 'autoCalculate 1 CompleteCalc': works for test/../integrate.sml
|
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 |
| Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |