Re: [isabelle] Sandboxed evaluation of Isabelle theories?

2013/2/12 Joachim Breitner <breitner at>:
> 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?

Does export_code still allow directory traversal and arbitrary file overwriting?

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