--- a/src/Doc/System/Basics.thy Fri Oct 31 15:15:10 2014 +0100
+++ b/src/Doc/System/Basics.thy Fri Oct 31 16:03:45 2014 +0100
@@ -361,7 +361,6 @@
Usage: isabelle_process [OPTIONS] [INPUT] [OUTPUT]
Options are:
- -I startup Isar interaction mode
-O system options from given YXML file
-S secure mode -- disallow critical operations
-T ADDR startup process wrapper, with socket address
@@ -434,9 +433,6 @@
system options as a file in YXML format (according to the Isabelle/Scala
function @{verbatim isabelle.Options.encode}).
- \medskip The @{verbatim "-I"} option makes Isabelle enter Isar
- interaction mode on startup, instead of the primitive ML top-level.
-
\medskip The @{verbatim "-T"} or @{verbatim "-W"} option makes
Isabelle enter a special process wrapper for interaction via
Isabelle/Scala, see also @{file