| Fri, 21 Apr 2017 14:09:03 +0200 | wenzelm | eliminated default_qualifier: just a constant; | file | diff | annotate |
| 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"; | file | diff | annotate |
| Thu, 13 Apr 2017 12:27:57 +0200 | wenzelm | clarified directories; | file | diff | annotate | base |