testboard: Changelog

wenzelm [Sat, 11 Apr 2015 20:00:33 +0200] rev 60017

Added tag Isabelle2015-RC0 for changeset 42d34eeb283c

wenzelm [Sat, 11 Apr 2015 20:00:05 +0200] rev 60016

more uniform Isabelle_System.mkdirs in ML/Scala; avoid odd permission problems on Windows (e.g. Desktop) by using "mkdirs" from Cygwin;

wenzelm [Sat, 11 Apr 2015 13:21:40 +0200] rev 60015

updated for release;

paulson <lp15@cam.ac.uk> [Sat, 11 Apr 2015 16:19:59 +0100] rev 60014

Merge

wenzelm [Sat, 11 Apr 2015 13:12:57 +0200] rev 60013

tuned;

paulson <lp15@cam.ac.uk> [Sat, 11 Apr 2015 16:19:14 +0100] rev 60012

Merge

wenzelm [Sat, 11 Apr 2015 12:47:46 +0200] rev 60011

tuned spelling;

wenzelm [Sat, 11 Apr 2015 12:40:03 +0200] rev 60010

misc tuning for release;

wenzelm [Sat, 11 Apr 2015 12:24:51 +0200] rev 60009

make SML/NJ more happy;

wenzelm [Fri, 10 Apr 2015 23:58:07 +0200] rev 60008

make SML/NJ more happy;

testboard