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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev