2016-12-12 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
2016-12-12 |
wenzelm |
Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
|
file |
diff |
annotate
|
2016-12-08 |
wenzelm |
Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52
|
file |
diff |
annotate
|
2016-11-27 |
wenzelm |
Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d
|
file |
diff |
annotate
|
2016-11-21 |
wenzelm |
Added tag Isabelle2016-1-RC3 for changeset 51be997d0698
|
file |
diff |
annotate
|
2016-11-06 |
wenzelm |
Added tag Isabelle2016-1-RC2 for changeset 2bf4fdcebd49
|
file |
diff |
annotate
|
2016-10-28 |
wenzelm |
Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7
|
file |
diff |
annotate
|
2016-10-06 |
wenzelm |
Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
|
file |
diff |
annotate
|
2016-10-04 |
wenzelm |
earlier build_history_base: timing properties in log are introduced here;
|
file |
diff |
annotate
|
2016-10-03 |
wenzelm |
more robust build_history_base;
|
file |
diff |
annotate
|
2016-10-03 |
wenzelm |
more formal build_history_base;
|
file |
diff |
annotate
|
2016-02-17 |
wenzelm |
removed obsolete RC tags;
|
file |
diff |
annotate
|
2016-02-17 |
wenzelm |
Added tag Isabelle2016 for changeset d3996d5873dd
|
file |
diff |
annotate
|
2016-02-12 |
wenzelm |
Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1
|
file |
diff |
annotate
|
2016-02-06 |
wenzelm |
Added tag Isabelle2016-RC4 for changeset f4baefee5776
|
file |
diff |
annotate
|
2016-02-01 |
wenzelm |
Added tag Isabelle2016-RC3 for changeset 81cbea2babd9
|
file |
diff |
annotate
|
2016-01-24 |
wenzelm |
Added tag Isabelle2016-RC2 for changeset 5d513565749e
|
file |
diff |
annotate
|
2016-01-15 |
wenzelm |
Added tag Isabelle2016-RC1 for changeset 155d30f721dd
|
file |
diff |
annotate
|
2016-01-01 |
wenzelm |
Added tag Isabelle2016-RC0 for changeset e18444532fce
|
file |
diff |
annotate
|
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
|