diff -r 45adb8dc84e1 -r f005a691df1f .hgtags
--- a/.hgtags	Thu Feb 11 22:05:12 2016 +0100
+++ b/.hgtags	Fri Feb 12 17:04:36 2016 +0100
@@ -35,3 +35,4 @@
 5d513565749e6818ce3bbd1b40739ddc314e17a5 Isabelle2016-RC2
 81cbea2babd968353655a825645914672529b310 Isabelle2016-RC3
 f4baefee57768cf00b1a9e003770c7573b5d7378 Isabelle2016-RC4
+45adb8dc84e1279f415cc00ee7c5e0a542fd339e Isabelle2016-RC5