.hgtags
2016-12-12 wenzelm removed obsolete RC tags;
2016-12-12 wenzelm Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
2016-12-08 wenzelm Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52
2016-11-27 wenzelm Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d
2016-11-21 wenzelm Added tag Isabelle2016-1-RC3 for changeset 51be997d0698
2016-11-06 wenzelm Added tag Isabelle2016-1-RC2 for changeset 2bf4fdcebd49
2016-10-28 wenzelm Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7
2016-10-06 wenzelm Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
2016-10-04 wenzelm earlier build_history_base: timing properties in log are introduced here;
2016-10-03 wenzelm more robust build_history_base;
2016-10-03 wenzelm more formal build_history_base;
2016-02-17 wenzelm removed obsolete RC tags;
2016-02-17 wenzelm Added tag Isabelle2016 for changeset d3996d5873dd
2016-02-12 wenzelm Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1
2016-02-06 wenzelm Added tag Isabelle2016-RC4 for changeset f4baefee5776
2016-02-01 wenzelm Added tag Isabelle2016-RC3 for changeset 81cbea2babd9
2016-01-24 wenzelm Added tag Isabelle2016-RC2 for changeset 5d513565749e
2016-01-15 wenzelm Added tag Isabelle2016-RC1 for changeset 155d30f721dd
2016-01-01 wenzelm Added tag Isabelle2016-RC0 for changeset e18444532fce
2015-05-25 wenzelm removed obsolete RC tags;
2015-05-25 wenzelm Added tag Isabelle2015 for changeset 5ae2a2e74c93
2015-05-17 wenzelm Added tag Isabelle2015-RC5 for changeset d7f636331176
2015-05-09 wenzelm Added tag Isabelle2015-RC4 for changeset 05fe9bdc4f8f
2015-05-04 wenzelm Added tag Isabelle2015-RC3 for changeset e0c3e11e9bea
2015-04-24 wenzelm Added tag Isabelle2015-RC2 for changeset 8483c2883c8c
2015-04-17 wenzelm Added tag Isabelle2015-RC1 for changeset c9760373aa0f
2015-04-11 wenzelm Added tag Isabelle2015-RC0 for changeset 42d34eeb283c
2014-08-27 wenzelm removed obsolete RC tags;
2014-08-27 wenzelm Added tag Isabelle2014 for changeset 8f4a332500e4
2014-08-18 wenzelm Added tag Isabelle2014-RC4 for changeset 113b43b84412 Isabelle2014
2014-08-10 wenzelm Added tag Isabelle2014-RC3 for changeset 91e188508bc9
2014-08-04 wenzelm Added tag Isabelle2014-RC2 for changeset ee908fccabc2
2014-07-27 wenzelm Added tag Isabelle2014-RC1 for changeset c0fd03d13d28
2014-07-05 wenzelm Added tag Isabelle2014-RC0 for changeset 251ef0202e71
2013-12-05 wenzelm removed obsolete RC tags;
2013-12-05 wenzelm merged;
2013-12-05 wenzelm Added tag Isabelle2013-2 for changeset 4dd08fe126ba
2013-12-01 wenzelm Added tag Isabelle2013-2-RC3 for changeset aeb21314d078
2013-11-28 wenzelm Added tag Isabelle2013-2-RC2 for changeset 99b9249b3e05
2013-11-24 wenzelm Added tag Isabelle2013-2-RC1 for changeset 57aefb80b639
2013-11-11 wenzelm removed obsolete RC tags;
2013-11-11 wenzelm Added tag Isabelle2013-1 for changeset 9c1f21365326
2013-11-07 wenzelm Added tag Isabelle2013-1-RC4 for changeset 594628261376
2013-10-16 wenzelm Added tag Isabelle2013-1-RC3 for changeset fbcaa9f08879
2013-10-09 wenzelm Added tag Isabelle2013-1-RC2 for changeset 782e430e6a83
2013-10-03 wenzelm Added tag Isabelle2013-1-RC1 for changeset c37100233af7
2013-02-21 wenzelm removed obsolete tags;
2013-02-13 wenzelm removed obsolete RC tags;
2013-02-12 wenzelm Added tag Isabelle2013 for changeset d90218288d51
2013-02-07 wenzelm Added tag Isabelle2013-RC3 for changeset 8cf38c6b33f8
2013-01-28 wenzelm Added tag Isabelle2013-RC2 for changeset 7fc61bfb1c2d
2013-01-20 wenzelm Added tag Isabelle2013-RC1 for changeset 2c3d0cb151c0
2012-05-23 wenzelm removed obsolete RC tags;
2012-05-22 wenzelm Added tag Isabelle2012 for changeset 21c42b095c84
2012-05-17 wenzelm Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a
2012-05-07 wenzelm Added tag Isabelle2012-RC2 for changeset 1636ff4c6243
2012-05-02 wenzelm Added tag Isabelle2012-RC1 for changeset ec5d54029664
2011-10-10 wenzelm removed obsolete RC tags;
2011-10-09 wenzelm Added tag Isabelle2011-1 for changeset 76fef3e57004
2011-10-03 wenzelm Added tag Isabelle2011-1-RC2 for changeset a45121ffcfcb
less more (0) -60 tip