[isabelle-dev] Bad theory import "Main"

[Blanchette, J.C.]

> On 22.04.2017, at 19:17, Makarius <makarius at sketis.net> wrote:
> 
>> 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"))
>>       ^
> 
> You need to do this in the Console plugin of Isabelle/jEdit, switched
> into Scala mode.

I see. It prints

	res0: Option[(java.io.File, List[isabelle.Document.Node.Name])] = None

Jasmin