Wed, 14 Feb 2018 06:06:27 +0100 |
Isabelle2015->17: completed "normalise" cf. fb6f5ef2c647
|
file | diff | annotate |
Tue, 13 Feb 2018 16:17:59 +0100 |
Isabelle2015->17: simplification of rationals changed
|
file | diff | annotate |
Tue, 13 Feb 2018 15:25:16 +0100 |
Isabelle2015->17: fix not checked with PCD_Poly_ML.thy
|
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 16:21:12 +0100 |
Isabelle2015->17: fix error introduced by 'session identifiers' 172b53399454
|
file | diff | annotate |
Fri, 09 Feb 2018 12:12:25 +0100 |
Isabelle2015->17: imports of Text_Isac work again
|
file | diff | annotate |
Fri, 09 Feb 2018 12:00:21 +0100 |
Isabelle2015->17: Minisubpbl works due to previous fixes
|
file | diff | annotate |
Fri, 09 Feb 2018 11:57:24 +0100 |
Isabelle2015->17: tests work down to Minisubpbl
|
file | diff | annotate |
Fri, 09 Feb 2018 11:45:53 +0100 |
Isabelle2015->17: applied 172b53399454 (on src/) on test/ too
|
file | diff | annotate |
Thu, 08 Feb 2018 13:20:40 +0100 |
Isabelle2015->17: test setup for calculate
|
file | diff | annotate |
Thu, 08 Feb 2018 12:49:52 +0100 |
Isabelle2015->17: thm changed
|
file | diff | annotate |
Wed, 07 Feb 2018 15:00:37 +0100 |
Isabelle2015->17: new negation "~ " --> "<not> "
|
file | diff | annotate |
Wed, 07 Feb 2018 13:06:27 +0100 |
Isabelle2015->17: test setup for ADDTESTS/All_Ctxt, fst error in "ProgLang/termC.sml"
|
file | diff | annotate |
Fri, 19 Jan 2018 12:52:09 +0100 |
merged
|
file | diff | annotate |
Thu, 18 Jan 2018 15:17:59 +0100 |
store the current working directory
|
file | diff | annotate |
Wed, 17 Jan 2018 17:25:26 +0100 |
comments on Isac's test setup
|
file | diff | annotate |
Thu, 18 Jan 2018 15:25:39 +0100 |
comments on test setup
|
file | diff | annotate |
Wed, 31 May 2017 14:58:38 +0200 |
fun scala_of_term for testing proto4
|
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 |
Sat, 21 Jan 2017 11:30:18 +0100 |
prep 2 for structure Tac : TACTIC
|
file | diff | annotate |
Sat, 21 Jan 2017 10:25:19 +0100 |
prep 1 for structure Tac : TACTIC
|
file | diff | annotate |
Mon, 09 Jan 2017 14:47:24 +0100 |
--- Test_Isac fails, restart stepwise
|
file | diff | annotate |
Wed, 28 Dec 2016 13:07:17 +0100 |
replaced ctree.sml by basic-ctree.sml before separation
|
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 |
Wed, 14 Dec 2016 09:37:01 +0100 |
added structure Ctree : CALC_TREE
|
file | diff | annotate |
Mon, 12 Dec 2016 18:08:13 +0100 |
added structure Chead : CALC_HEAD
|
file | diff | annotate |
Wed, 30 Nov 2016 12:09:24 +0100 |
added structure Rtools : REWRITE_TOOLS
|
file | diff | annotate |
Thu, 24 Nov 2016 14:33:42 +0100 |
added structure Inform : INPUT_FORMULAS
|
file | diff | annotate |
Tue, 22 Nov 2016 10:42:21 +0100 |
added structure Math_Engine : MATH_ENGINE
|
file | diff | annotate |
Mon, 21 Nov 2016 12:47:02 +0100 |
added structure Kernel: KERNEL
|
file | diff | annotate |
Thu, 17 Nov 2016 16:40:27 +0100 |
close structures again after Test_Isac
|
file | diff | annotate |
Mon, 14 Nov 2016 15:51:10 +0100 |
LUCAS_INTERPRETER works in tests
|
file | diff | annotate |
Tue, 18 Oct 2016 12:05:03 +0200 |
back-track after desing error in previous changeset
|
file | diff | annotate |
Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
file | diff | annotate |
Thu, 25 Aug 2016 14:57:58 +0200 |
insertion sort RUNs by rewriting
|
file | diff | annotate |
Tue, 12 Jan 2016 19:47:59 +0100 |
tuned
|
file | diff | annotate |
Mon, 21 Dec 2015 13:58:02 +0100 |
Isabelle2014-->2015: dropped tests not required any more
|
file | diff | annotate |
Tue, 06 Oct 2015 09:34:43 +0200 |
PIDE: (Knowledge-)Context works also for met
|
file | diff | annotate |
Mon, 22 Jun 2015 08:27:30 +0200 |
PIDE: mini-test started
|
file | diff | annotate |
Mon, 18 May 2015 14:08:09 +0200 |
outcomment parallelism for simplifying integration of libisabelle
|
file | diff | annotate |
Fri, 08 May 2015 16:16:39 +0200 |
Isabelle2013-2 --> 2014: Test_Isac is perfect again
|
file | diff | annotate |
Fri, 08 May 2015 13:31:53 +0200 |
=== isabelle tty --> libisabelle: test example for isac-java's migration
|
file | diff | annotate |
Thu, 23 Oct 2014 16:58:03 +0200 |
tuned
|
file | diff | annotate |
Thu, 23 Oct 2014 16:44:32 +0200 |
reactivated tests for context_thy
|
file | diff | annotate |
Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
Thu, 12 Jun 2014 21:59:15 +0200 |
calls to ML_Context.the_generic_context removed from KEStore.thy because they did not work when called from within a future. However, there are still five instances in other locations yet to be removed.
|
file | diff | annotate |
Wed, 04 Jun 2014 17:41:09 +0200 |
ad 967c8a1eb6b1 (1): adapted tests partially
|
file | diff | annotate |
Mon, 17 Mar 2014 15:20:15 +0100 |
re-establish tests for thehier
|
file | diff | annotate |
Sun, 02 Feb 2014 02:43:04 +0100 |
ad 967c8a1eb6b1 (2): added missing analog for 'insert_errpats' with 'mets' Theory_Data
|
file | diff | annotate |
Sun, 02 Feb 2014 01:15:13 +0100 |
ad 967c8a1eb6b1 (2b): in tests, add functions accessing Theory_Data in parallel to those accessing 'mets = Unsynchronized.ref'
|
file | diff | annotate |
Tue, 28 Jan 2014 08:21:45 +0100 |
adapted test setup for test
|
file | diff | annotate |
Tue, 28 Jan 2014 07:37:27 +0100 |
tuned e8d9d194a96f
|
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:49:27 +0100 |
cleanup, naming: 'KEStore_Elems' in Tests now 'Test_KEStore_Elems', 'store_pbts' now 'add_pbts'
|
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 |
Thu, 12 Dec 2013 14:37:15 +0100 |
Isabelle2013-1 --> 2013-2: merged TUG/isa into TUM/isabelle
|
file | diff | annotate |