[isabelle-dev] download-components

Christian Sternagel c-sterna at jaist.ac.jp
Wed Aug 8 07:17:50 CEST 2012

Dear Florian,

the script you introduced in


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



More information about the isabelle-dev mailing list