Re: [isabelle] libisabelle: embedding on Java-side: dir dependencies
> Assuming the above is right, could you, please, look at it together with
> ISABELLE_HOME ...
>> but luckily, Isabelle's Scala code allows setting the path in a
>> different way. I'll put it on my list.
Try the following code (untested):
In your case, it would go right before the creation of the "JSystem"
instance. This should allow you to start your program without
It looks like there is a typo in that file ... Did you really mean to use
This archive was generated by a fusion of
Pipermail (Mailman edition) and