Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
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, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
Sun, 21 Jul 2013 15:08:31 +0200 |
a bulky chunk of changes
|
file | diff | annotate |
Tue, 26 Jul 2011 16:09:08 +0200 |
tuned
|
file | diff | annotate |
Tue, 26 Jul 2011 15:25:28 +0200 |
tuned
|
file | diff | annotate |
Mon, 25 Jul 2011 08:31:53 +0200 |
tuned
|
file | diff | annotate |
Fri, 22 Jul 2011 14:01:09 +0200 |
tuned
|
file | diff | annotate |
Wed, 23 Mar 2011 17:20:39 +0100 |
make Test_Isac.thy run in jEdit; intermed.
|
file | diff | annotate |
Thu, 10 Mar 2011 16:04:00 +0100 |
intermed.update Isabelle2011: HOL.True
|
file | diff | annotate |
Tue, 05 Oct 2010 09:17:48 +0200 |
updated print_exn
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Wed, 08 Sep 2010 17:49:36 +0200 |
updated Knowledge/DiffApp.thy
|
file | diff | annotate |
Wed, 08 Sep 2010 17:20:03 +0200 |
tuned
|
file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
Mon, 06 Sep 2010 17:07:28 +0200 |
changed argument types for scripts
|
file | diff | annotate |
Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |