On 22/04/17 13:26, Blanchette, J.C. wrote:
>
> <console>:12: error: not found: value PIDE
> PIDE.resources.session_base.known.files.toList.find(p =>
> p._2.exists(_.theory == "Main"))
>
> Maybe the Scala build state is not clean? (I couldn't find how to clean it in
> the system manual.)
A forced build of everything works like this:
isabelle jedit -bf
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
