Re: [isabelle] libisabelle: Small Scala library to communicate with Isabelle



Can you build anything at all? That is, if you go to some different folder (let's say,
$HOME) and invoke:

$ISABELLE_HOME/bin/isabelle build -bv HOL

wneuper at ProBook:~$ /usr/local/Isabelle2014/bin/isabelle build -bv HOL
Started at Wed Feb 11 15:59:56 CET 2015 (polyml-5.5.2_x86-linux on ProBook)
ISABELLE_BUILD_OPTIONS=""

ML_PLATFORM="x86-linux"
ML_HOME="/usr/local/Isabelle2014/contrib/polyml-5.5.2-1/x86-linux"
ML_SYSTEM="polyml-5.5.2"
ML_OPTIONS="-H 500"

Session Pure/Pure
Session HOL/HOL (main)
Finished at Wed Feb 11 16:00:03 CET 2015
0:00:07 elapsed time, 0:00:17 cpu time, factor 2.42

... but doesn't that indicate, that the session Pure and HOL have already been created successfully (actually, since months I'm working in Isabelle2014 without problems)?

Many thanks for your help,
Walther




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.