diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -1,12 +1,13 @@
 4b1545a58891e2e36161dac1951069d1ca9cb4cb Isabelle2011-1
 0b0f248c0775e7d46fc67ddf23183a6a461c7cff Isabelle2012
 bfe8d4f24e47b5a999148c4db0417ff47e9f8c27 Isabelle2013
 54a733668be9936c2257cb7a7db2d45f81201014 Isabelle2013-1
 54a733668be9936c2257cb7a7db2d45f81201014 Isabelle2013-2
 600fb0bf56a27f00b82644088defe8ecce5dd2c6 Isabelle2014
 c3f0cc60baf4a3ce962f39eec2ef6c5f6f9802ad Isabelle2015
 8927414c86846c521f53ab840dc25b7afc60121e Isabelle2016
 84bcab88c95f74c7a082ffc6d2cf26466d67453d Isabelle2016-1
 5d0678c77502ab0574d235efaa4a284c77907310 Isabelle2017
 234a91c26d028416dc0c12a610fd9725ea2ecf47 Isabelle2018
 11f8b03a88adaaa8185fdf8a5db7914a3122f889 Isabelle2021-1
+548e384c0445406da0908b5f76db57819da885ce Isabelle2022