[isabelle] building the afp sample submission


I am trying to build the Isabelle AFP sample submission. I know
that in the past "isabelle make" did the job, but now make does
not seem available anymore, and I could not figure out what
is the replacement.

Best regards,

Viorel Preoteasa

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