Re: [isabelle] libisabelle: embedding on Java-side
sorry for the noise ...
(3) Overcoming (1..2) we let Eclipse export to isac-java.jar and use
isac-java$ export ISABELLE_HOME=/usr/local/isabisac
isac-java$ java -jar dist/isac-java.jar
Exception in thread "main" java.lang.RuntimeException: Bad
session root directory: "/home/wneuper/proto4/repos/isac-java"
... Executing java at the appropriate directory works with absolute
libisabelle$ java -jar /home/wneuper/proto4/dist/isac-java.jar
However, now this question comes up:
Is there eventually a chance (if (1) or (2) are solved) to run our
application from Eclipse, if libisabelle is so sensible with respect to
PS: We are working on (1) and (2), because (3) forces to resign
This archive was generated by a fusion of
Pipermail (Mailman edition) and