Re: [isabelle] libisabelle: Small Scala library to communicate with Isabelle
Thanks a lot for your help to get started with libisabelle ...
The problem is a type mismatch ... the operation is declared for
'scala.math.BigInt', but you're trying to use it as a
'java.lang.BigInteger'. There should be no problem with consistently
using the former even in Java code, since the conversion is trivial:
scalaBigInt.bigInteger() // returns Java BigInteger
new scala.math.BigInt(javaBigInt) // constructs Scala BigInt
... which compiles a test perfectly  now.
In order to run the test in Hello_PIDE.java I'm looking for some
Now I see, that the build has changed and libisabelle/full is empty; and
I couldn't find the target where ./sbt compiles to .
So I kindly ask once more for help to get started.
 So far my best guess might be:
~/proto4/libisabelle$ java -cp
Error: Could not find or load main class
while we have:
~/proto4/libisabelle$ ls -l
-rwxrw-r-- 1 wneuper wneuper 952 Apr 30 13:38
This archive was generated by a fusion of
Pipermail (Mailman edition) and