lib/scripts/getfunctions
22 months ago wenzelm 2017-09-15 avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);
2016-10-02 wenzelm 2016-10-02 updated according to 85c83757788c;
2016-03-13 wenzelm 2016-03-13 prefer Scala over bash function;
2016-02-25 wenzelm 2016-02-25 slightly more robust re-initialization;
2016-02-25 wenzelm 2016-02-25 within the Isabelle environment, main executables are always within PATH;
2016-02-25 wenzelm 2016-02-25 avoid global state change;
2016-02-25 wenzelm 2016-02-25 more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;