itp-2015: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 30 Jul 2015 22:17:26 +0100] rev 232

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 30 Jul 2015 22:11:07 +0100] rev 231

updated

chunhan [Fri, 31 Jul 2015 00:09:57 +0800] rev 230

money transfer merged

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 29 Jul 2015 06:55:01 +0100] rev 229

merged

chunhan [Tue, 28 Jul 2015 06:46:21 +0800] rev 228

one more

chunhan [Mon, 27 Jul 2015 08:33:17 +0800] rev 227

1 more for isar+coq

chunhan [Sun, 26 Jul 2015 09:35:56 +0800] rev 226

1 more for Isar

chunhan [Sat, 25 Jul 2015 10:24:48 +0800] rev 225

2 more people

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 21 Jul 2015 19:19:03 +0100] rev 224

updated 21.7.2015

chunhan [Fri, 17 Jul 2015 12:57:21 +0800] rev 223

update

itp-2015