| 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 |
| Tue, 22 Jan 2019 11:21:08 +0100 |
[-Test_Isac] funpack: Test_Isac ok until Knowledge
|
file | diff | annotate |
| Tue, 28 Aug 2018 13:34:22 +0200 |
Isabelle2017->18: adapt to more rigorous session handling
|
file | diff | annotate |
| Tue, 03 Apr 2018 15:48:39 +0200 |
partial_function: Test_Isac OK again
|
file | diff | annotate |
| Thu, 24 Nov 2016 14:33:42 +0100 |
added structure Inform : INPUT_FORMULAS
|
file | diff | annotate |
| Tue, 12 Jan 2016 19:52:22 +0100 |
replace call of MutabelleExtra.thms_of
|
file | diff | annotate |
| Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
| Fri, 08 Aug 2014 14:05:14 +0200 |
cleaned tests on data error in thes2file
|
file | diff | annotate |
| Fri, 08 Aug 2014 14:01:19 +0200 |
repair data error in thes2file
|
file | diff | annotate |
| Thu, 07 Aug 2014 16:28:17 +0200 |
thehier in transition Isabelle2002 --> 2013 finished
|
file | diff | annotate |
| Mon, 04 Aug 2014 17:03:55 +0200 |
CLEANUP since 347cf013dee3 and restored Test_Isac
|
file | diff | annotate |
| Mon, 28 Jul 2014 17:06:16 +0200 |
ad (a): thehier does not contain sym_thmID theorems anymore
|
file | diff | annotate |
| Thu, 24 Jul 2014 15:44:50 +0200 |
removed the only occurrence of (ill-named) string_of_thm: finished
|
file | diff | annotate |
| Thu, 26 Jun 2014 10:50:27 +0200 |
removed test on insert_fillpats: we avoid such tests with KEStore_Elems.*
|
file | diff | annotate |
| Sun, 22 Jun 2014 14:58:51 +0200 |
ad thehier: update Test_Isac to previous changeset
|
file | diff | annotate |
| Sun, 15 Jun 2014 18:39:59 +0200 |
merged
|
file | diff | annotate |
| Sun, 15 Jun 2014 18:27:23 +0200 |
ad 967c8a1eb6b1 (2,3) thehier: ugly chunk makes Test_Isac run
|
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 |
| Thu, 05 Jun 2014 16:41:42 +0200 |
ad 967c8a1eb6b1 (7): remove all code concerned with "thehier = Unsynchronized.ref"
|
file | diff | annotate |
| Thu, 05 Jun 2014 15:49:44 +0200 |
ad 967c8a1eb6b1 (6): after from "thehier" all recent tests work again
|
file | diff | annotate |
| Sat, 31 May 2014 15:09:33 +0200 |
details on 632d2ecab96f: error (from <NEXT> on new Worksheet)
|
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 |
| Fri, 07 Mar 2014 16:30:24 +0100 |
make specific tests run with Test_Some.thy
|
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 |
| Thu, 24 Oct 2013 17:24:47 +0200 |
removed "rulelist'" also from ~~/test/Tools/isac/*
|
file | diff | annotate |
| Sun, 14 Oct 2012 21:26:02 +0200 |
2011-->2012: "isabelle usedir -b HOL Isac" works
|
file | diff | annotate |
| Sun, 14 Oct 2012 20:00:27 +0200 |
2011-->2012: ...
|
file | diff | annotate |
| Sat, 04 Aug 2012 16:42:05 +0200 |
outcommented tests on Unsynchronized.ref
|
file | diff | annotate |
| Sat, 04 Aug 2012 10:43:07 +0200 |
intermed: isolate tests from others
|
file | diff | annotate |
| Thu, 02 Aug 2012 18:39:06 +0200 |
completed interface to dialog-autoring
|
file | diff | annotate |
| Thu, 02 Aug 2012 15:48:57 +0200 |
improved fun insert_fillpats
|
file | diff | annotate |
| Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
| Mon, 21 May 2012 07:59:57 +0200 |
added fillpats to thehier
|
file | diff | annotate |
| Tue, 24 Apr 2012 17:44:02 +0200 |
generalised store_thm to all knowledge
|
file | diff | annotate |
| Tue, 10 Apr 2012 09:31:21 +0200 |
xml-files created from Knowledge (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Thu, 05 Apr 2012 16:44:21 +0200 |
intermed.
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Mon, 25 Jul 2011 11:52:07 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Mon, 11 Oct 2010 14:22:19 +0200 |
intermed. repair test/../thy-hierarchy.sml, thehier := the_hier ...
|
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, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
| Fri, 20 Aug 2010 16:21:41 +0200 |
updated ME/appl.sml,rewtools.sml; thms_of --> PureThy.all_thms_of
|
file | diff | annotate |
| Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |