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