Re: [isabelle] Sandboxed evaluation of Isabelle theories?


Am Dienstag, den 12.02.2013, 13:27 +0100 schrieb Tjark Weber:
> Anyway, I am guessing that Joachim is more concerned about features
> like unrestricted file system or network access than about soundness
> of Isabelle.

exactly. Should -S be sufficient for that?


Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

Attachment: signature.asc
Description: This is a digitally signed message part

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