| Thu, 10 Jan 2019 18:17:48 +0100 |
[-Test_Isac] funpack: adapt substitution to type "char string"
|
file | diff | annotate |
| Mon, 31 Dec 2018 14:49:16 +0100 |
[-Test_Isac] add an overlooked structure
|
file | diff | annotate |
| Mon, 31 Dec 2018 14:15:19 +0100 |
[-Test_Isac] funpack: repaired test/../scrtools.sml
|
file | diff | annotate |
| Wed, 26 Dec 2018 14:24:05 +0100 |
[-Test_Isac] funpack: further replacement ID::type by char string
|
file | diff | annotate |
| Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
| Tue, 28 Aug 2018 13:34:22 +0200 |
Isabelle2017->18: adapt to more rigorous session handling
|
file | diff | annotate |
| Mon, 26 Mar 2018 09:20:09 +0200 |
Rule: Test_Isac works completely
|
file | diff | annotate |
| Tue, 07 Feb 2017 08:57:42 +0100 |
separate structure Model : MODEL
|
file | diff | annotate |
| Sat, 04 Feb 2017 07:20:39 +0100 |
separate structure Stool : SPECIFY_TOOL
|
file | diff | annotate |
| Thu, 22 Dec 2016 10:25:49 +0100 |
--- closed structure Ctree
|
file | diff | annotate |
| Wed, 21 Dec 2016 09:21:26 +0100 |
added structure Solve INTERMEDIATELY
|
file | diff | annotate |
| Wed, 21 Dec 2016 08:57:47 +0100 |
added structure Applicable INTERMEDIATELY
|
file | diff | annotate |
| Sun, 18 Dec 2016 16:27:41 +0100 |
added structure Specify : MODEL_SPECIFY
|
file | diff | annotate |
| Mon, 12 Dec 2016 18:08:13 +0100 |
added structure Chead : CALC_HEAD
|
file | diff | annotate |
| Tue, 18 Oct 2016 12:05:03 +0200 |
back-track after desing error in previous changeset
|
file | diff | annotate |
| Sat, 27 Aug 2016 17:14:45 +0200 |
tuned
|
file | diff | annotate |
| Sat, 27 Aug 2016 10:38:26 +0200 |
excluded "ERROR in creating the environment.." FROM "helpless"
|
file | diff | annotate |
| Wed, 24 Aug 2016 17:27:54 +0200 |
tuned
|
file | diff | annotate |
| Thu, 21 Jan 2016 17:29:33 +0100 |
an interesting ML_command
|
file | diff | annotate |
| Mon, 04 Aug 2014 17:03:55 +0200 |
CLEANUP since 347cf013dee3 and restored Test_Isac
|
file | diff | annotate |
| Sat, 26 Jul 2014 14:10:05 +0200 |
added test which identified error in fun getTactic <-- string_of_thmI
|
file | diff | annotate |
| Tue, 01 Jul 2014 16:08:32 +0200 |
Test_Some.thy getTactic
|
file | diff | annotate |
| Sun, 04 May 2014 14:37:28 +0200 |
unclear difference Test_Isac.thy -- Test_Some.thy
|
file | diff | annotate |
| Tue, 18 Mar 2014 08:42:45 +0100 |
generated xml-files from Test_Build_Thydata.thy
|
file | diff | annotate |
| Mon, 17 Mar 2014 15:20:15 +0100 |
re-establish tests for thehier
|
file | diff | annotate |
| Mon, 17 Mar 2014 08:54:48 +0100 |
re-establish construction of thehier
|
file | diff | annotate |
| Sat, 08 Mar 2014 10:33:34 +0100 |
make specific tests run with Test_Some.thy
|
file | diff | annotate |
| Mon, 27 Jan 2014 11:09:57 +0100 |
ad 967c8a1eb6b1 (2b): add functions accessing Theory_Data in parallel to those accessing "ptyps = Unsynchronized.ref"
|
file | diff | annotate |
| Thu, 21 Nov 2013 18:12:17 +0100 |
Isabelle2013 --> 2013-1: Test_Isac perfect
|
file | diff | annotate |
| Fri, 18 Oct 2013 14:36:33 +0200 |
some clean-ups
|
file | diff | annotate |
| Mon, 16 Sep 2013 12:20:00 +0200 |
Test_Isac works again, perfectly ..
|
file | diff | annotate |
| Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
| Wed, 14 Aug 2013 13:52:39 +0200 |
GCD_Poly: removed bug in polynomial division
|
file | diff | annotate |
| Wed, 14 Aug 2013 13:21:24 +0200 |
code generated from GCD_Poly.thy
|
file | diff | annotate |
| Thu, 25 Jul 2013 07:36:31 +0200 |
restructured files concerning "fun gcd_poly"
|
file | diff | annotate |
| Mon, 22 Jul 2013 13:52:18 +0200 |
--- Test_Isac.thy runs all tests
|
file | diff | annotate |
| Sun, 21 Jul 2013 15:08:31 +0200 |
a bulky chunk of changes
|
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 |
| Fri, 21 Jun 2013 17:49:24 +0200 |
Test_Isac.thy without errors on Isabelle2012, rewtools.sml:
|
file | diff | annotate |
| Fri, 21 Jun 2013 11:19:18 +0200 |
Test_Isac.thy without errors on Isabelle2012, intermediate
|
file | diff | annotate |
| Fri, 21 Jun 2013 06:51:11 +0200 |
irrelevant cleaning
|
file | diff | annotate |
| Fri, 12 Apr 2013 11:03:41 +0200 |
before finalizing GCD_Poly.thy
|
file | diff | annotate |
| Fri, 11 Jan 2013 12:32:03 +0100 |
tuned
|
file | diff | annotate |
| Sat, 05 Jan 2013 10:41:56 +0100 |
Hints.thy for hints not immediately included in code
|
file | diff | annotate |
| Fri, 14 Dec 2012 12:22:19 +0100 |
before starting transformation Winkler --> Isabelle
|
file | diff | annotate |
| Wed, 12 Dec 2012 09:18:22 +0100 |
intermed. plan removing Unsynchronized.ref
|
file | diff | annotate |
| Sun, 09 Dec 2012 11:23:00 +0100 |
tuned
|
file | diff | annotate |
| Fri, 07 Dec 2012 12:50:05 +0100 |
Test_Isac.thy works except Unsynchronized.ref
|
file | diff | annotate |
| Wed, 05 Dec 2012 16:11:32 +0100 |
Test_Isac.thy works until "Interpret/generate.sml"
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:29:36 +0100 |
est_Isac.thy works until "ProgLang/scrtools.sml"
|
file | diff | annotate |
| Wed, 05 Dec 2012 09:58:28 +0100 |
Test_Isac.thy works until calculate.sml
|
file | diff | annotate |
| Fri, 02 Nov 2012 12:20:49 +0100 |
jrocnik: finished intro + conclusion
|
file | diff | annotate |
| Sun, 14 Oct 2012 21:35:45 +0200 |
tuned
|
file | diff | annotate |
| Fri, 12 Oct 2012 16:03:07 +0200 |
2011-->2012:
|
file | diff | annotate |
| Mon, 24 Sep 2012 09:20:21 +0200 |
meeting dmeindl: Test_Isac.thy ok
|
file | diff | annotate |
| Thu, 20 Sep 2012 10:07:02 +0200 |
added error-pattern "addition-of-fractions"
|
file | diff | annotate |
| Thu, 13 Sep 2012 21:20:05 +0200 |
jrocnik: all \sect finished
|
file | diff | annotate |
| Tue, 11 Sep 2012 18:27:17 +0200 |
jrocnik: clarifying difference \sect 3 -- 4
|
file | diff | annotate |