* isabelle-process: option -S (secure mode) disables some critical operations;

--- 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)
 ----------------------------------