[isabelle-dev] download-components

[Christian Sternagel]

Dear Florian,

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)?

cheers

chris