.hgtags
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
2011-09-26 wenzelm Added tag Isabelle2011-1-RC1 for changeset 24ad77c3a147
2011-01-30 wenzelm removed obsolete test tags;
2011-01-30 wenzelm Added tag Isabelle2011 for changeset 6d736d983d5c
2011-01-27 wenzelm Added tag isa2011-test3 for changeset 55a45051b220
2011-01-23 wenzelm Added tag isa2011-test2 for changeset 237328506a42
2011-01-17 wenzelm Added tag isa2011-test1 for changeset 7d035da21e9c
2010-06-21 wenzelm removed obsolete test tags;
2010-06-21 wenzelm Added tag Isabelle2009-2 for changeset 35815ce9218a
2010-06-14 wenzelm Added tag isa2009-2-test3 for changeset 0eacedd5f780
2010-06-07 wenzelm Added tag isa2009-2-test2 for changeset dfca6c4cd1e8
2010-06-06 wenzelm Added tag isa2009-2-test1 for changeset d1cdbc7524b6
2010-06-02 wenzelm Added tag isa2009-2-test0 for changeset 935c75359742
2009-12-03 wenzelm removed obsolete test tags;
2009-12-03 wenzelm Added tag Isabelle2009-1 for changeset 6a973bd43949
2009-11-29 wenzelm Added tag isa2009-1-test for changeset e1c262952b02
2009-11-26 wenzelm Added tag isa2009-1-test for changeset 14ff44e21bec
2009-11-24 wenzelm Added tag isa2009-1-test for changeset 4328de748fb2
2009-11-24 wenzelm Added tag isa2009-1-test for changeset 9db7854eafc7
2009-04-20 wenzelm removed obsolete test tags;
2009-04-19 wenzelm Added tag Isabelle2009 for changeset 5c8618f95d24
2009-04-16 wenzelm Added tag isa2009-test for changeset d394a17d4fdb
2009-04-08 wenzelm Added tag isa2009-test for changeset dda08b76fa99
2009-04-06 wenzelm Added tag isa2009-test for changeset 613c2eb8aef6
2008-12-01 wenzelm removed obsolete tags (leftover from old CVS branches);
2008-09-03 convert-repo update tags
less more (0) tip