Thu, 28 Jan 2016 15:36:48 +0800 Tracking ExtGG.thy etc., so that a update to 83 is possible.
zhangx [Thu, 28 Jan 2016 15:36:48 +0800] rev 87
Tracking ExtGG.thy etc., so that a update to 83 is possible.
(0) -30 -10 -1 +1 +10 +30 +100 tip