changeset 45056 | bbd7eac14df3 |
parent 45028 | d608dd8cd409 |
child 48698 | 2585042b1a30 |
--- a/bin/isabelle-process Fri Sep 23 13:44:31 2011 +0200 +++ b/bin/isabelle-process Fri Sep 23 14:12:09 2011 +0200 @@ -212,7 +212,7 @@ ML_SYSTEM_BASE=$(echo "$ML_SYSTEM" | cut -f1 -d-) -[ -n "$MODES" ] && MLTEXT="print_mode := [$MODES]; $MLTEXT" +[ -n "$MODES" ] && MLTEXT="Unsynchronized.change print_mode (append [$MODES]); $MLTEXT" [ -n "$SECURE" ] && MLTEXT="$MLTEXT Secure.set_secure ();"