isabelle: Changelog

wenzelm [Thu, 13 Oct 2016 15:37:31 +0200] rev 64190

provide USER_HOME, such that symbolic Path.explode("~") can be used remotely;

wenzelm [Thu, 13 Oct 2016 15:17:10 +0200] rev 64189

tuned signature; copy_dir using *this* Isabelle_System: note that File.bash_path is already expanded, but no variables are used here;

wenzelm [Thu, 13 Oct 2016 12:13:43 +0200] rev 64188

clarified modules;

wenzelm [Thu, 13 Oct 2016 12:04:48 +0200] rev 64187

allow to exclude named tasks;

wenzelm [Thu, 13 Oct 2016 11:54:06 +0200] rev 64186

support for separate sub-system options, independent of main Isabelle options; tuned;

wenzelm [Thu, 13 Oct 2016 11:43:40 +0200] rev 64185

tuned;

isabelle