1.1 --- a/.hgtags	Sat Dec 05 14:26:56 2015 +0100
     1.2 +++ b/.hgtags	Sat Dec 05 16:09:41 2015 +0100
     1.3 @@ -1,36 +1,1 @@
     1.4 -0140ff702b232f48cb4c7414dca663e41acad213 Isabelle94-3
     1.5 -0a604b2fc2b1df524a3cf81f5a7b2255b19fda92 Isabelle99
     1.6 -0b268cff9344268b18ab5241b5c45e3374f107cd Isabelle94-8
     1.7 -213dcc39358faefae737f8e7d2eea67658e9eedf Isabelle2003
     1.8 -23ceb1dc9755a8ad6f0230697d0cc52f54102bf4 Isabelle94-5
     1.9 -2cf13a72e1704d0094d21e7dc68e7271a282ed31 Isabelle2008
    1.10 -33b9b5da3e6faee6ca6969d17e79634d49e5b46a Isabelle94-1
    1.11 -3e47692e3a3e4c695f6345b3534ed0c36817fd40 Isabelle99-2
    1.12 -50be659d4222b68f95e9c966097e59091f26acf3 Isabelle99-1
    1.13 -67692db44c7099ad8789f088003213aeb095e914 Isabelle94-2
    1.14 -6a422b22ba02f6275fa3ac5f9df1428705552d50 Isabelle98-1
    1.15 -6f79698f294df13edfba9c790df18a545570c81e Isabelle2007
    1.16 -7d6b0241afabbf87d4d94a412a1c1ebbba71c088 Isabelle94-4
    1.17 -805fa01ac2337790fd555991f1231d3ef6b2e3fb Isabelle2004_0
    1.18 -831a9a7ab9f352c65b0f449630b428304c89362b Isabelle93
    1.19 -836950047d8508e3c200edc1e07a46c2c5e09cd7 Isabelle94-6
    1.20 -8d42a7bccf0b0880dff8e46c71c4811be8b2e7ec Isabelle94-7
    1.21 -be6b5edbca9ffeb3bace5f4bac5c6478bf8cbdb2 Isabelle98
    1.22 -ce180e5b7fa056003791fff19cc5cefba193b135 Isabelle2002
    1.23 -f9eb0f819642b2ad77119dbf8935bf13248f205d Isabelle94
    1.24 -fc385ce6187d5ad2cef90f1e6240cc691e02d827 Isabelle2005
    1.25 -5c8618f95d240046bbbb609b643c06704888f587 Isabelle2009
    1.26 -6a973bd4394996c31f638e5c59ea6bb953335c9a Isabelle2009-1
    1.27 -35815ce9218a8822a50f5d80b96aa8d1970ec35d Isabelle2009-2
    1.28 -6d736d983d5cfec4a6c6fba174db2cd93493a96b Isabelle2011
    1.29 -76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1
    1.30 -21c42b095c841d1a7508c143d6b6e98d95dbfa69 Isabelle2012
    1.31 -d90218288d517942cfbc80a6b2654ecb22735e5c Isabelle2013
    1.32 -9c1f2136532626c7cb5fae14a2aeac53be3aeb67 Isabelle2013-1
    1.33 -4dd08fe126bad63aa05741d55fb3e86a2dbfc795 Isabelle2013-2
    1.34 -251ef0202e719c824fe302d80a136dec025cf142 Isabelle2014-RC0
    1.35 -c0fd03d13d28954f6b7018f273b6edb17fcdeaf7 Isabelle2014-RC1
    1.36 -ee908fccabc220a5f2e5af533d13ebceeb0e09ff Isabelle2014-RC2
    1.37 -91e188508bc9df5de2737325c390836603a3e409 Isabelle2014-RC3
    1.38 -113b43b84412416c67dc5e46f0d79473c837fbda Isabelle2014-RC4
    1.39  d61d51765a02aecd2b1daea286a80ca5458bc948 Isabelle2014/Isac