rc: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 06 Sep 2013 14:55:53 +0100] rev 15

some small changes according to the reviews

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 06 Sep 2013 13:27:46 +0100] rev 14

added reviews from CPP

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 06 Sep 2013 12:55:12 +0100] rev 13

updated to new isabelle

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 23 Jun 2013 03:55:49 +0100] rev 12

added reviews from ESORICS

chunhan [Mon, 17 Jun 2013 15:23:02 +0800] rev 11

paper update

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 16 Jun 2013 20:42:07 -0400] rev 10

updated the paper for submission

chunhan [Thu, 13 Jun 2013 22:53:49 +0800] rev 9

add paper pdf

chunhan [Thu, 13 Jun 2013 22:51:03 +0800] rev 8

fixed typos

chunhan [Thu, 13 Jun 2013 22:15:32 +0800] rev 7

merge

chunhan [Thu, 13 Jun 2013 22:12:45 +0800] rev 6

update scripts with no new_* in admissable-check