author | wenzelm |
Fri, 23 Sep 2011 14:12:09 +0200 | |
changeset 45932 | bbd7eac14df3 |
parent 45931 | 55274f7e306b |
child 45933 | 86c9b73158a8 |
1.1 --- a/bin/isabelle-process Fri Sep 23 13:44:31 2011 +0200 1.2 +++ b/bin/isabelle-process Fri Sep 23 14:12:09 2011 +0200 1.3 @@ -212,7 +212,7 @@ 1.4 1.5 ML_SYSTEM_BASE=$(echo "$ML_SYSTEM" | cut -f1 -d-) 1.6 1.7 -[ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT" 1.8 +[ -n "$MODES" ] && MLTEXT="Unsynchronized.change print_mode (append [$MODES]); $MLTEXT" 1.9 1.10 [ -n "$SECURE" ] && MLTEXT="$MLTEXT Secure.set_secure ();" 1.11