testboard: Changelog

wenzelm [Tue, 18 Apr 2017 19:17:46 +0200] rev 65507

clarified session graph: collapse theories from other sessions;

wenzelm [Tue, 18 Apr 2017 19:14:01 +0200] rev 65506

more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to Scala;

wenzelm [Tue, 18 Apr 2017 16:34:58 +0200] rev 65505

exclude theories from other sessions; clarified modules;

wenzelm [Tue, 18 Apr 2017 14:51:46 +0200] rev 65504

some documentation;

wenzelm [Tue, 18 Apr 2017 14:19:49 +0200] rev 65503

actually qualify theory names;

wenzelm [Mon, 17 Apr 2017 21:50:56 +0200] rev 65502

merged

wenzelm [Mon, 17 Apr 2017 21:48:53 +0200] rev 65501

prefer formal name from session context, for proper qualified theory name;

wenzelm [Mon, 17 Apr 2017 21:26:23 +0200] rev 65500

clarified: Map index uses canonical files;

wenzelm [Mon, 17 Apr 2017 21:00:38 +0200] rev 65499

tuned signature;

wenzelm [Mon, 17 Apr 2017 20:54:48 +0200] rev 65498

tuned signature;

testboard