proper isabelle_home_prefix;
proper isabelle_options, with link;