| Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Tue, 28 Aug 2018 13:34:22 +0200 |
Isabelle2017->18: adapt to more rigorous session handling
|
file | diff | annotate |
| Tue, 06 Feb 2018 16:18:43 +0100 |
Isabelle2015->17: transfer changes from src/ to test/
|
file | diff | annotate |
| Tue, 27 Dec 2016 17:43:12 +0100 |
demo ERROR: declare [[ML_print_depth = 999]] kills Isabelle/Isac
|
file | diff | annotate |
| Thu, 31 Jul 2014 16:55:22 +0200 |
removed outdated test on thy-hierarchy
|
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 |
| Fri, 06 Jun 2014 07:10:26 +0200 |
Test_Isac.thy works again
|
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 |
| 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 |
| Sat, 08 Mar 2014 10:33:34 +0100 |
make specific tests run with Test_Some.thy
|
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, 21 Nov 2013 18:12:17 +0100 |
Isabelle2013 --> 2013-1: Test_Isac perfect
|
file | diff | annotate |
| Thu, 24 Oct 2013 17:24:47 +0200 |
removed "rulelist'" also from ~~/test/Tools/isac/*
|
file | diff | annotate |
| Mon, 21 Oct 2013 09:03:50 +0200 |
"axiomatization" replaces "axioms" preparing for Isabelle2013-1
|
file | diff | annotate |
| Mon, 16 Sep 2013 12:20:00 +0200 |
Test_Isac works again, perfectly ..
|
file | diff | annotate |
| Wed, 17 Jul 2013 07:32:53 +0200 |
--- heap image for Isac on Isabelle2013 builds
|
file | diff | annotate |
| Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
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 |
| Tue, 10 Apr 2012 09:31:21 +0200 |
xml-files created from Knowledge (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |