| 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 |