# HG changeset patch
# User wenzelm
# Date 1160600376 -7200
# Node ID 0887d0dd32107f704fa8209a4065f9787dd4398e
# Parent  d1674119d0f989bb440e46401fafc3fcd7b74d3e
* isabelle-process: option -S (secure mode) disables some critical operations;

diff -r d1674119d0f9 -r 0887d0dd3210 NEWS
--- 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)
 ----------------------------------