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 |
Mon, 30 Sep 2013 11:50:13 +0200 | last difference between Theory_Data and "ruleset' = Unsynchronized.ref" removed | file | diff | annotate |