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



>> 1) Build an image of "Hello_PIDE"
>>     $ $ISABELLE_HOME/bin/isabelle build -d . -bv Hello_PIDE

Another shot in the dark: Did you issue that command while being in
$ISABELLE_HOME? That's the only reason I know of which could produce
that error message.

I should've been clearer, but the given steps are supposed to happen
while being in the checked-out copy of the repository.

Cheers
Lars

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



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