wenzelm [Sun, 27 Jul 2014 15:40:19 +0200] rev 59037
Added tag Isabelle2014-RC1 for changeset c0fd03d13d28
wenzelm [Sun, 27 Jul 2014 15:29:42 +0200] rev 59036
tuned;
wenzelm [Sun, 27 Jul 2014 15:25:00 +0200] rev 59035
tuned;
wenzelm [Sat, 26 Jul 2014 19:19:19 +0200] rev 59034
no -optimise -- produces bad bytecode;
wenzelm [Sat, 26 Jul 2014 14:52:54 +0200] rev 59033
output state first -- avoid fluctuation wrt. warnings, errors, etc.;
wenzelm [Fri, 25 Jul 2014 21:44:03 +0200] rev 59032
tuned comment;
wenzelm [Fri, 25 Jul 2014 21:29:12 +0200] rev 59031
updated to polyml-5.5.2-1 which addresses two hard crashes;
wenzelm [Fri, 25 Jul 2014 20:55:57 +0200] rev 59030
updated to cygwin-20140725, which is presumably close to Cygwin 1.7.31-1;
nipkow [Fri, 25 Jul 2014 18:41:53 +0200] rev 59029
added more functions and lemmas
wenzelm [Fri, 25 Jul 2014 17:13:30 +0200] rev 59028
proper mkdir;