> On 22.04.2017, at 19:17, Makarius <makar...@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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
