bin/isabelle-process
changeset 45056 bbd7eac14df3
parent 45028 d608dd8cd409
child 48698 2585042b1a30
     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