diff -r 2056d9f481e2 -r ed938e2246b9 log
--- a/log	Thu Jan 28 16:36:46 2016 +0800
+++ b/log	Thu Jan 28 21:14:17 2016 +0800
@@ -1,5 +1,22 @@
+修改集:      89:2056d9f481e2
+标签:        tip
+用户:        zhangx
+日期:        Thu Jan 28 16:36:46 2016 +0800
+摘要:        Slightly modified ExtGG.thy and PrioG.thy.
+
+修改集:      88:83dd5345d5d0
+父亲:        83:d239aa953315
+父亲:        87:33cb65e00ac0
+用户:        zhangx
+日期:        Thu Jan 28 16:33:49 2016 +0800
+摘要:        Merged back ExtGG.thy and PrioG.thy.
+
+修改集:      87:33cb65e00ac0
+用户:        zhangx
+日期:        Thu Jan 28 15:36:48 2016 +0800
+摘要:        Tracking ExtGG.thy etc., so that a update to 83 is possible.
+
 修改集:      86:2106021bae53
-标签:        tip
 用户:        zhangx
 日期:        Thu Jan 28 07:46:05 2016 +0800
 摘要:        Added PrioG.thy again