lib/scripts/getfunctions
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;