[isabelle-dev] download-components

Tjark Weber webertj at in.tum.de
Wed Aug 15 11:54:31 CEST 2012


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,

More information about the isabelle-dev mailing list