[isabelle-dev] download-components

[Tjark Weber]

Christian,

On Wed, 2012-08-08 at 14:17 +0900, Christian Sternagel wrote:
> the script you introduced in
> 
>    http://isabelle.in.tum.de/repos/isabelle/rev/c895e334162c
> 
> is rather useful. How about also providing a variable (as TMP for the 
> download directory) to set the actual isabelle tool (with default 
> "isabelle") instead of hard-wiring "isabelle" (which does not work all 
> too well, when having different isabelle versions installed)?

see now http://isabelle.in.tum.de/repos/isabelle/rev/cea7f88c8084 as a
first step.

Best regards,
Tjark