| 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 |
| Thu, 25 Feb 2016 17:49:04 +0100 | wenzelm | more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash; | file | diff | annotate |