Hi all,
With the latest repository version (510709f8881d), I can't manage to build
anything; e.g.
$ ./bin/isabelle build -c Pure
Running Pure ...
java.lang.NoSuchMethodError:
scala.Symbol$.apply(Ljava/lang/String;)Lscala/Symbol;
0:00:03 elapsed time, 0:00:04 cpu time
$ ./bin/isabelle build -a
java.lang.NullPointerException
0:00:09 elapsed time, 0:00:14 cpu time, factor 1.55
I can't remember having done anything strange with my system except pulling
some changes from the main repository.
Cheers,
Jasmin
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
