clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name);
#!/usr/bin/env bash
#
# dummy stty for old versions of scalac (e.g. 2.10.0)