2012-05-23 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
2012-05-22 |
wenzelm |
Added tag Isabelle2012 for changeset 21c42b095c84
|
file |
diff |
annotate
|
2012-05-17 |
wenzelm |
Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a
|
file |
diff |
annotate
|
2012-05-07 |
wenzelm |
Added tag Isabelle2012-RC2 for changeset 1636ff4c6243
|
file |
diff |
annotate
|
2012-05-02 |
wenzelm |
Added tag Isabelle2012-RC1 for changeset ec5d54029664
|
file |
diff |
annotate
|
2011-10-10 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
2011-10-09 |
wenzelm |
Added tag Isabelle2011-1 for changeset 76fef3e57004
|
file |
diff |
annotate
|
2011-10-03 |
wenzelm |
Added tag Isabelle2011-1-RC2 for changeset a45121ffcfcb
|
file |
diff |
annotate
|
2011-09-26 |
wenzelm |
Added tag Isabelle2011-1-RC1 for changeset 24ad77c3a147
|
file |
diff |
annotate
|
2011-01-30 |
wenzelm |
removed obsolete test tags;
|
file |
diff |
annotate
|
2011-01-30 |
wenzelm |
Added tag Isabelle2011 for changeset 6d736d983d5c
|
file |
diff |
annotate
|
2011-01-27 |
wenzelm |
Added tag isa2011-test3 for changeset 55a45051b220
|
file |
diff |
annotate
|
2011-01-23 |
wenzelm |
Added tag isa2011-test2 for changeset 237328506a42
|
file |
diff |
annotate
|
2011-01-17 |
wenzelm |
Added tag isa2011-test1 for changeset 7d035da21e9c
|
file |
diff |
annotate
|
2010-06-21 |
wenzelm |
removed obsolete test tags;
|
file |
diff |
annotate
|
2010-06-21 |
wenzelm |
Added tag Isabelle2009-2 for changeset 35815ce9218a
|
file |
diff |
annotate
|
2010-06-14 |
wenzelm |
Added tag isa2009-2-test3 for changeset 0eacedd5f780
|
file |
diff |
annotate
|
2010-06-07 |
wenzelm |
Added tag isa2009-2-test2 for changeset dfca6c4cd1e8
|
file |
diff |
annotate
|
2010-06-06 |
wenzelm |
Added tag isa2009-2-test1 for changeset d1cdbc7524b6
|
file |
diff |
annotate
|
2010-06-02 |
wenzelm |
Added tag isa2009-2-test0 for changeset 935c75359742
|
file |
diff |
annotate
|
2009-12-03 |
wenzelm |
removed obsolete test tags;
|
file |
diff |
annotate
|
2009-12-03 |
wenzelm |
Added tag Isabelle2009-1 for changeset 6a973bd43949
|
file |
diff |
annotate
|
2009-11-29 |
wenzelm |
Added tag isa2009-1-test for changeset e1c262952b02
|
file |
diff |
annotate
|
2009-11-26 |
wenzelm |
Added tag isa2009-1-test for changeset 14ff44e21bec
|
file |
diff |
annotate
|
2009-11-24 |
wenzelm |
Added tag isa2009-1-test for changeset 4328de748fb2
|
file |
diff |
annotate
|
2009-11-24 |
wenzelm |
Added tag isa2009-1-test for changeset 9db7854eafc7
|
file |
diff |
annotate
|
2009-04-20 |
wenzelm |
removed obsolete test tags;
|
file |
diff |
annotate
|
2009-04-19 |
wenzelm |
Added tag Isabelle2009 for changeset 5c8618f95d24
|
file |
diff |
annotate
|
2009-04-16 |
wenzelm |
Added tag isa2009-test for changeset d394a17d4fdb
|
file |
diff |
annotate
|
2009-04-08 |
wenzelm |
Added tag isa2009-test for changeset dda08b76fa99
|
file |
diff |
annotate
|
2009-04-06 |
wenzelm |
Added tag isa2009-test for changeset 613c2eb8aef6
|
file |
diff |
annotate
|
2008-12-01 |
wenzelm |
removed obsolete tags (leftover from old CVS branches);
|
file |
diff |
annotate
|
2008-09-03 |
convert-repo |
update tags
|
file |
diff |
annotate
|