testboard: Changelog

paulson <lp15@cam.ac.uk> [Mon, 08 Apr 2019 20:37:03 +0100] rev 70266

NEWS on homology

paulson <lp15@cam.ac.uk> [Mon, 08 Apr 2019 15:26:54 +0100] rev 70265

First tranche of the Homology development: Simplices [dummy commit to run testboard again]

paulson <lp15@cam.ac.uk> [Mon, 08 Apr 2019 15:26:54 +0100] rev 70264

First tranche of the Homology development: Simplices

traytel [Sun, 07 Apr 2019 21:05:22 +0200] rev 70263

NEWS

traytel [Sun, 07 Apr 2019 20:02:15 +0200] rev 70262

merged

traytel [Sun, 07 Apr 2019 08:26:57 +0200] rev 70261

bundle for cardinal syntax

wenzelm [Sun, 07 Apr 2019 16:04:08 +0200] rev 70260

better accessibility of directory content by typing name prefix;

wenzelm [Sun, 07 Apr 2019 12:44:37 +0200] rev 70259

uniform JVM heap options for Isabelle/Scala tools and scalac (again);

wenzelm [Sun, 07 Apr 2019 12:41:52 +0200] rev 70258

proper etc/preferences;

traytel [Sun, 07 Apr 2019 08:26:57 +0200] rev 70257

bundle for cardinal syntax

testboard