c-sterna at jaist.ac.jp
Wed Aug 8 07:17:50 CEST 2012
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