Fri, 29 Jan 2016 17:08:54 +0000 deleted superflous files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Jan 2016 17:08:54 +0000] rev 98
deleted superflous files
Fri, 29 Jan 2016 17:06:02 +0000 merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Jan 2016 17:06:02 +0000] rev 97
merged
Thu, 28 Jan 2016 14:57:36 +0000 merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 14:57:36 +0000] rev 96
merged
Thu, 28 Jan 2016 14:26:10 +0000 changes to my repository
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 14:26:10 +0000] rev 95
changes to my repository
Thu, 28 Jan 2016 13:46:45 +0000 some small changes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 13:46:45 +0000] rev 94
some small changes
Fri, 29 Jan 2016 11:01:13 +0800 The overwriten original .thy files are working now. The ones in last revision aren't.
zhangx [Fri, 29 Jan 2016 11:01:13 +0800] rev 93
The overwriten original .thy files are working now. The ones in last revision aren't.
(0) -30 -10 -6 +6 +10 +30 +100 tip