I recently tried to launch the Isabelle development version, but got error messages indicating (in a fairly obscure way) the need to install the Perl module LWP::Simple. Something new here? Larry