Wed, 13 Jan 2016 23:39:59 +0800 Moment.thy further improved.
zhangx [Wed, 13 Jan 2016 23:39:59 +0800] rev 73
Moment.thy further improved.
Wed, 13 Jan 2016 15:22:14 +0000 another simplification
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 15:22:14 +0000] rev 72
another simplification
Wed, 13 Jan 2016 15:16:59 +0000 some small change
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 15:16:59 +0000] rev 71
some small change
(0) -30 -10 -3 +3 +10 +30 +100 tip