| Sat, 01 Jun 2019 11:09:19 +0200 |
[-Test_Isac] funpack: repair errors in test, spot remaining errors
|
file | diff | annotate |
| Thu, 28 Feb 2019 18:27:29 +0100 |
funpack: drop thms generated by partial_function
|
file | diff | annotate |
| Thu, 22 Feb 2018 17:55:29 +0100 |
LTool: cleanup test file
|
file | diff | annotate |
| Tue, 13 Feb 2018 15:14:55 +0100 |
Isabelle2015->17: "normalize" as identifier causes type clash now, etc
|
file | diff | annotate |
| Sat, 10 Feb 2018 15:12:59 +0100 |
Isabelle2015->17: mini fixes in test
|
file | diff | annotate |
| Mon, 19 Dec 2016 09:02:41 +0100 |
cleaned signature MODEL_SPECIFY
|
file | diff | annotate |
| Sun, 18 Dec 2016 16:27:41 +0100 |
added structure Specify : MODEL_SPECIFY
|
file | diff | annotate |
| Wed, 14 Dec 2016 10:45:41 +0100 |
redesigned inout, mout (since 2003 for interface Kernel - Java)
|
file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
| Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
| Tue, 28 Jan 2014 08:21:45 +0100 |
adapted test setup for test
|
file | diff | annotate |
| Tue, 28 Jan 2014 07:04:48 +0100 |
adapted test setup for tests restored in e8d9d194a96f
|
file | diff | annotate |
| Mon, 27 Jan 2014 21:58:12 +0100 |
ad 967c8a1eb6b1 (6): preparation
|
file | diff | annotate |
| Mon, 27 Jan 2014 08:09:29 +0100 |
restored tests on ptyps deleted in f0c78a1e9f85
|
file | diff | annotate |
| Sun, 26 Jan 2014 01:37:36 +0100 |
ad 967c8a1eb6b1 (2b): for 'ptyps' add functions accessing Theory_Data in parallel to old ones for 'Unsynchronized.ref' in 'test' folder.
|
file | diff | annotate |
| Sat, 25 Jan 2014 21:06:58 +0100 |
ad 967c8a1eb6b1 (1b): access to \!ptyps further restricted
|
file | diff | annotate |
| Fri, 24 Jan 2014 18:03:27 +0100 |
deleted valuable tests on ptyps
|
file | diff | annotate |
| Fri, 24 Jan 2014 17:31:16 +0100 |
confirmed important tests on !ptyps
|
file | diff | annotate |
| Thu, 21 Nov 2013 18:12:17 +0100 |
Isabelle2013 --> 2013-1: Test_Isac perfect
|
file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
| Tue, 13 Mar 2012 15:04:09 +0100 |
uncomment test/../ptyps.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Tue, 26 Jul 2011 09:09:49 +0200 |
intermed: uncommented tests, updated protocoll
|
file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
| Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
| Tue, 05 Oct 2010 09:17:48 +0200 |
updated print_exn
|
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:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |