Re: [isabelle] Sandboxed evaluation of Isabelle theories?



Hi,

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?

Thanks,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

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



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