| changeset 20988 | 0887d0dd3210 |
| parent 20951 | 868120282837 |
| child 21041 | 60e418260b4d |
--- a/NEWS Wed Oct 11 22:56:10 2006 +0200 +++ b/NEWS Wed Oct 11 22:59:36 2006 +0200 @@ -824,6 +824,12 @@ "Trueprop" etc. +*** System *** + +* isabelle-process: option -S (secure mode) disables some critical +operations, notably runtime compilation and evaluation of ML source +code. + New in Isabelle2005 (October 2005) ----------------------------------