| Thu, 08 Nov 2018 15:52:10 +0100 | wenzelm | always insist in specified resolver/compiler version; | file | diff | annotate |
| Wed, 07 Nov 2018 21:42:16 +0100 | wenzelm | more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; | file | diff | annotate |
| Wed, 17 Oct 2018 22:36:51 +0200 | wenzelm | more portable; | file | diff | annotate |
| Wed, 17 Oct 2018 21:37:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| 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 |