Thu, 13 Apr 2017 12:39:36 +0200 | wenzelm | clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console"; | changeset | files |
Thu, 13 Apr 2017 12:27:57 +0200 | wenzelm | clarified directories; | changeset | files |