Re: [isabelle] libisabelle: Small Scala library to communicate with Isabelle
I decided to implement a proof-of-concept library demonstrating the
minimum amount of code needed to manage and communicate with an Isabelle
process. You can find the code at
Thank you very much for this extensive work, it promises the survival of
Your code presents lots of new stuff; I also studied system.pdf.
But I got stuck with this:
1) Build an image of "Hello_PIDE"
$ $ISABELLE_HOME/bin/isabelle build -d . -bv Hello_PIDE
which results in:
Started at Wed Feb 11 13:18:40 CET 2015 (polyml-5.5.2_x86-linux on ProBook)
*** Duplicate session "RAW" (line 3 of "src/Pure/ROOT") (line 3 of "/usr/local/Isabelle2014/src/Pure/ROOT")
Finished at Wed Feb 11 13:18:45 CET 2015
0:00:05 elapsed time, 0:00:04 cpu time
Renaming "RAW" in "pide-core/src/main/scala/Tools/build.scala" renaming
is no way out; so what can I do ?
This archive was generated by a fusion of
Pipermail (Mailman edition) and