log
changeset 90 ed938e2246b9
parent 87 33cb65e00ac0
equal deleted inserted replaced
89:2056d9f481e2 90:ed938e2246b9
       
     1 Ð޸ļ¯:      89:2056d9f481e2
       
     2 ±êÇ©:        tip
       
     3 Óû§:        zhangx
       
     4 ÈÕÆÚ:        Thu Jan 28 16:36:46 2016 +0800
       
     5 ÕªÒª:        Slightly modified ExtGG.thy and PrioG.thy.
       
     6 
       
     7 Ð޸ļ¯:      88:83dd5345d5d0
       
     8 ¸¸Ç×:        83:d239aa953315
       
     9 ¸¸Ç×:        87:33cb65e00ac0
       
    10 Óû§:        zhangx
       
    11 ÈÕÆÚ:        Thu Jan 28 16:33:49 2016 +0800
       
    12 ÕªÒª:        Merged back ExtGG.thy and PrioG.thy.
       
    13 
       
    14 Ð޸ļ¯:      87:33cb65e00ac0
       
    15 Óû§:        zhangx
       
    16 ÈÕÆÚ:        Thu Jan 28 15:36:48 2016 +0800
       
    17 ÕªÒª:        Tracking ExtGG.thy etc., so that a update to 83 is possible.
       
    18 
     1 Ð޸ļ¯:      86:2106021bae53
    19 Ð޸ļ¯:      86:2106021bae53
     2 ±êÇ©:        tip
       
     3 Óû§:        zhangx
    20 Óû§:        zhangx
     4 ÈÕÆÚ:        Thu Jan 28 07:46:05 2016 +0800
    21 ÈÕÆÚ:        Thu Jan 28 07:46:05 2016 +0800
     5 ÕªÒª:        Added PrioG.thy again
    22 ÕªÒª:        Added PrioG.thy again
     6 
    23 
     7 Ð޸ļ¯:      85:61a4429e7d4d
    24 Ð޸ļ¯:      85:61a4429e7d4d