tuned signature;

updated bash_process;

actually wait for forked process and return its status -- this is not meant to be a daemon;

tuned signature;

tuned signature -- more like ML version;

suppress empty messages as in ML;

clarified bash process -- similar to ML version;

clarified bash process;

tuned according to ML version;

clarified name;

more flexible command-line; flush before exit/fork/exec, to make double sure that output is shipped;

tuned signature;

isabelle update_cartouches -c -t;

practically obsolete;

obsolete -- no such conditions in main Isabelle repository;

tuned header;

clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default;

unconditional test -- nothing special here;

merged

Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1

invoke perl system with explicit list -- to avoid extra /bin/sh and thus evade potential conflict of /bin/sh -> dash with bash on Debian/Ubuntu;

evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;

tuned;

misc tuning;

misc tuning and updates;

misc tuning and updates;

misc tuning;

tuned whitespace;

more on "Markdown-like text structure";

more on 'consider';