make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;
Prover IDE support
==================
This is some basic support for PIDE Scala programming, independently
of the main Isabelle repository.
Makarius
17-Jan-2012