+2008-03-07 Rodrigo Kumpera <rkumpera@novell.com>
+
+ * mono.1: Documented new --security options validil
+ and verifiable.
+
2007-12-08 Jonathan Pryor <jpryor@novell.com>
* wsdl.1: Fix groff comment (so that it doesn't appear in monodoc's
.TP
.I "--security", "--security=mode"
Activate the security manager, a currently experimental feature in
-Mono and it is OFF by default.
+Mono and it is OFF by default. The new code verifier can be enabled
+with this option as well.
.RS
.ne 8
.PP
Moonlight/Silverlight applications. It provides a much simpler
security system than CAS, see http://www.mono-project.com/Moonlight
for more details and links to the descriptions of this new system.
+.TP
+.I validil
+Enables the new verifier and perform basic verification for code validity.
+Unsafe code and PInvoke are allowed. This mode gives a better safety guarantee but
+it is still possible that managed code crash mono.
+.TP
+.I verifiable
+Enables the new verifier and perform full verification and only allows verifiable code to be executed.
+Unsafe code is not allowed but PInvoke can be used. This mode should not allow managed code to crash mono.
+The verification is not as strict as ECMA 335 standard in order to stay compatible with the MS runtime.
.ne
.RE
.TP