[isabelle-dev] Bad theory import "Main"

Makarius makarius at sketis.net
Sat Apr 22 17:24:32 CEST 2017


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





More information about the isabelle-dev mailing list