.hgtags
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