| Wed, 17 Oct 2018 20:06:19 +0200 | wenzelm | isabelle_stack as portable shell function; | file | diff | annotate |
| Mon, 08 Oct 2018 12:52:28 +0200 | wenzelm | isabelle_opam as portable shell function; | file | diff | annotate |
| Fri, 15 Sep 2017 19:56:23 +0200 | wenzelm | avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings); | file | diff | annotate |
| Sun, 02 Oct 2016 15:35:56 +0200 | wenzelm | updated according to 85c83757788c; | file | diff | annotate |
| Sun, 13 Mar 2016 13:04:50 +0100 | wenzelm | prefer Scala over bash function; | file | diff | annotate |
| Thu, 25 Feb 2016 19:22:13 +0100 | wenzelm | slightly more robust re-initialization; | file | diff | annotate |
| Thu, 25 Feb 2016 18:08:23 +0100 | wenzelm | within the Isabelle environment, main executables are always within PATH; | file | diff | annotate |
| Thu, 25 Feb 2016 18:05:04 +0100 | wenzelm | avoid global state change; | file | diff | annotate |