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 |
Fri, 18 Oct 2013 14:36:33 +0200 |
some clean-ups
|
file | diff | annotate |
Mon, 30 Sep 2013 11:50:13 +0200 |
last difference between Theory_Data and "ruleset' = Unsynchronized.ref" removed
|
file | diff | annotate |
Sun, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
file | diff | annotate |
Sun, 22 Sep 2013 18:29:15 +0200 |
error in last changeset removed
|
file | diff | annotate |
Sun, 22 Sep 2013 18:17:25 +0200 |
narrow behaviour of Theory_Data and "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
Thu, 19 Sep 2013 11:16:25 +0200 |
prepare removing Unsynchronized.ref, simplified version
|
file | diff | annotate |
Sat, 05 Jan 2013 11:25:08 +0100 |
Theory_Data principles for replacing Unsynchronized.ref
|
file | diff | annotate |
Fri, 14 Dec 2012 10:21:34 +0100 |
accumulate values in Isac.thy, further trials
|
file | diff | annotate |
Sun, 09 Dec 2012 11:24:27 +0100 |
plan removing Unsynchronized.ref
|
file | diff | annotate |