Diff of /.hgtags [bfe8d4] .. [f94c07] Maximize Restore

  Switch to side-by-side view

--- a/.hgtags
+++ b/.hgtags
@@ -1,2 +1,3 @@
 4b1545a58891e2e36161dac1951069d1ca9cb4cb Isabelle2011-1
 0b0f248c0775e7d46fc67ddf23183a6a461c7cff Isabelle2012
+bfe8d4f24e47b5a999148c4db0417ff47e9f8c27 Isabelle2013