lib/scripts/getfunctions
8 months ago wenzelm 2018-11-08 always insist in specified resolver/compiler version;
8 months ago wenzelm 2018-11-07 more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
9 months ago wenzelm 2018-10-17 more portable;
9 months ago wenzelm 2018-10-17 tuned;
9 months ago wenzelm 2018-10-17 isabelle_stack as portable shell function;
9 months ago wenzelm 2018-10-08 isabelle_opam as portable shell function;
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;