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, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
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 13:26:21 +0200 |
prepare removing Unsynchronized.ref, final version
|
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 |