| Tue, 18 Apr 2017 19:14:01 +0200 | wenzelm | more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to Scala; | changeset | files |
| Tue, 18 Apr 2017 16:34:58 +0200 | wenzelm | exclude theories from other sessions; | changeset | files |
| Tue, 18 Apr 2017 14:51:46 +0200 | wenzelm | some documentation; | changeset | files |
| Tue, 18 Apr 2017 14:19:49 +0200 | wenzelm | actually qualify theory names; | changeset | files |
| Mon, 17 Apr 2017 21:50:56 +0200 | wenzelm | merged | changeset | files |
| Mon, 17 Apr 2017 21:48:53 +0200 | wenzelm | prefer formal name from session context, for proper qualified theory name; | changeset | files |
| Mon, 17 Apr 2017 21:26:23 +0200 | wenzelm | clarified: Map index uses canonical files; | changeset | files |
| Mon, 17 Apr 2017 21:00:38 +0200 | wenzelm | tuned signature; | changeset | files |