[isabelle-dev] Bad theory import "Main"

[Blanchette, J.C.]

> On 22.04.2017, at 17:24, Makarius <makarius at sketis.net> wrote:
> 
> 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

It doesn't help:

$ isabelle jedit -bf
### Building Isabelle/Scala ...
### Building Isabelle/jEdit ...

$ isabelle scala
Welcome to Scala 2.11.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_121).
Type in expressions for evaluation. Or try :help.

scala> PIDE.resources.session_base.known.files.toList.find(p => p._2.exists(_.theory == "Main"))
<console>:12: error: not found: value PIDE
       PIDE.resources.session_base.known.files.toList.find(p => p._2.exists(_.theory == "Main"))
       ^

Jasmin