Admin/cronjob/main
2016-11-11 wenzelm 2016-11-11 $HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7);
2016-10-17 wenzelm 2016-10-17 uniform Isabelle settings -- avoid picking up different JAVA_HOME;
2016-10-13 wenzelm 2016-10-13 separate ISABELLE_HOME_USER (with its etc/settings);
2016-10-12 wenzelm 2016-10-12 explicit timezone for the sake of lxbroy10;
2016-10-11 wenzelm 2016-10-11 force fresh build;
2016-10-11 wenzelm 2016-10-11 basic setup for Isabelle cronjob;