| 2015-05-25 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
| 2015-05-25 |
wenzelm |
Added tag Isabelle2015 for changeset 5ae2a2e74c93
|
file |
diff |
annotate
|
| 2015-05-17 |
wenzelm |
Added tag Isabelle2015-RC5 for changeset d7f636331176
|
file |
diff |
annotate
|
| 2015-05-09 |
wenzelm |
Added tag Isabelle2015-RC4 for changeset 05fe9bdc4f8f
|
file |
diff |
annotate
|
| 2015-05-04 |
wenzelm |
Added tag Isabelle2015-RC3 for changeset e0c3e11e9bea
|
file |
diff |
annotate
|
| 2015-04-24 |
wenzelm |
Added tag Isabelle2015-RC2 for changeset 8483c2883c8c
|
file |
diff |
annotate
|
| 2015-04-17 |
wenzelm |
Added tag Isabelle2015-RC1 for changeset c9760373aa0f
|
file |
diff |
annotate
|
| 2015-04-11 |
wenzelm |
Added tag Isabelle2015-RC0 for changeset 42d34eeb283c
|
file |
diff |
annotate
|
| 2014-08-27 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
| 2014-08-27 |
wenzelm |
Added tag Isabelle2014 for changeset 8f4a332500e4
|
file |
diff |
annotate
|
| 2014-08-18 |
wenzelm |
Added tag Isabelle2014-RC4 for changeset 113b43b84412
Isabelle2014
|
file |
diff |
annotate
|
| 2014-08-10 |
wenzelm |
Added tag Isabelle2014-RC3 for changeset 91e188508bc9
|
file |
diff |
annotate
|
| 2014-08-04 |
wenzelm |
Added tag Isabelle2014-RC2 for changeset ee908fccabc2
|
file |
diff |
annotate
|
| 2014-07-27 |
wenzelm |
Added tag Isabelle2014-RC1 for changeset c0fd03d13d28
|
file |
diff |
annotate
|
| 2014-07-05 |
wenzelm |
Added tag Isabelle2014-RC0 for changeset 251ef0202e71
|
file |
diff |
annotate
|
| 2013-12-05 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
| 2013-12-05 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| 2013-12-05 |
wenzelm |
Added tag Isabelle2013-2 for changeset 4dd08fe126ba
|
file |
diff |
annotate
|
| 2013-12-01 |
wenzelm |
Added tag Isabelle2013-2-RC3 for changeset aeb21314d078
|
file |
diff |
annotate
|
| 2013-11-28 |
wenzelm |
Added tag Isabelle2013-2-RC2 for changeset 99b9249b3e05
|
file |
diff |
annotate
|
| 2013-11-24 |
wenzelm |
Added tag Isabelle2013-2-RC1 for changeset 57aefb80b639
|
file |
diff |
annotate
|
| 2013-11-11 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
| 2013-11-11 |
wenzelm |
Added tag Isabelle2013-1 for changeset 9c1f21365326
|
file |
diff |
annotate
|
| 2013-11-07 |
wenzelm |
Added tag Isabelle2013-1-RC4 for changeset 594628261376
|
file |
diff |
annotate
|
| 2013-10-16 |
wenzelm |
Added tag Isabelle2013-1-RC3 for changeset fbcaa9f08879
|
file |
diff |
annotate
|
| 2013-10-09 |
wenzelm |
Added tag Isabelle2013-1-RC2 for changeset 782e430e6a83
|
file |
diff |
annotate
|
| 2013-10-03 |
wenzelm |
Added tag Isabelle2013-1-RC1 for changeset c37100233af7
|
file |
diff |
annotate
|
| 2013-02-21 |
wenzelm |
removed obsolete tags;
|
file |
diff |
annotate
|
| 2013-02-13 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
| 2013-02-12 |
wenzelm |
Added tag Isabelle2013 for changeset d90218288d51
|
file |
diff |
annotate
|
| 2013-02-07 |
wenzelm |
Added tag Isabelle2013-RC3 for changeset 8cf38c6b33f8
|
file |
diff |
annotate
|
| 2013-01-28 |
wenzelm |
Added tag Isabelle2013-RC2 for changeset 7fc61bfb1c2d
|
file |
diff |
annotate
|
| 2013-01-20 |
wenzelm |
Added tag Isabelle2013-RC1 for changeset 2c3d0cb151c0
|
file |
diff |
annotate
|
| 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
|