| Sat, 12 Nov 2016 10:29:01 +0100 | wenzelm | back to regular Isabelle tool (reverting abc34a149690); | changeset | files |
| Fri, 11 Nov 2016 21:26:14 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 11 Nov 2016 21:06:15 +0100 | wenzelm | $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); | changeset | files |