| Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
| Wed, 14 Dec 2016 10:45:41 +0100 |
redesigned inout, mout (since 2003 for interface Kernel - Java)
|
file | diff | annotate |
| Mon, 12 Dec 2016 18:08:13 +0100 |
added structure Chead : CALC_HEAD
|
file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
| Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
file | diff | annotate |
| Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
| Mon, 20 Apr 2015 14:18:40 +0200 |
update test/ to Isabelle2014 (~ updates of src/)
|
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 |
| Thu, 21 Nov 2013 18:12:17 +0100 |
Isabelle2013 --> 2013-1: Test_Isac perfect
|
file | diff | annotate |
| Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
| Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
file | diff | annotate |
| Sun, 30 Jun 2013 17:27:34 +0200 |
Test_Isac.thy without errors on Isabelle2012, calchead.sml:
|
file | diff | annotate |
| Thu, 22 Sep 2011 14:24:34 +0200 |
made Build_Inverse_Z_Transform.thy run
|
file | diff | annotate |
| Tue, 26 Jul 2011 14:35:06 +0200 |
uncomment tests, compared with akargl
|
file | diff | annotate |
| Mon, 25 Jul 2011 14:19:22 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 19 Jul 2011 09:43:01 +0200 |
intermed: uncomment tests with CompleteCalc
|
file | diff | annotate |
| Wed, 04 May 2011 09:01:10 +0200 |
update all "Pair" to "Product_Type.Pair"
|
file | diff | annotate |
| Tue, 03 May 2011 16:20:55 +0200 |
provided all "x+1=2" with typeconstraint real ("equality" is just bool)
|
file | diff | annotate |
| Fri, 04 Mar 2011 11:43:45 +0100 |
intermed.update Isabelle2001: updated "op =", "op +"
|
file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
| Sat, 09 Oct 2010 16:20:02 +0200 |
intermed. test/../integrate.sml
|
file | diff | annotate |
| Fri, 08 Oct 2010 18:58:24 +0200 |
tuned
|
file | diff | annotate |
| Fri, 08 Oct 2010 18:51:23 +0200 |
repaired fun nxt_specify_
|
file | diff | annotate |
| Fri, 01 Oct 2010 10:23:38 +0200 |
repaired 'prepat's, the patterns and preconditions for Rrls
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:37:41 +0200 |
replaced Some,None --> SOME,NONE in all test/../isac/*
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Thu, 23 Sep 2010 08:43:36 +0200 |
repaired is_copy_named, cpy_nam and improved tests & comments
|
file | diff | annotate |
| Tue, 14 Sep 2010 15:46:56 +0200 |
repaired copy_nam
|
file | diff | annotate |
| Tue, 14 Sep 2010 12:12:42 +0200 |
adapted is_copy_named from v___ to v'''
|
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 |