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 -4 +4 +10 +30 +100 tip