changeset 62542 | b27b7c2200b9 |
parent 62507 | 15c36c181130 |
child 62573 | 27f90319a499 |
--- a/bin/isabelle_process Mon Mar 07 08:14:18 2016 +0100 +++ b/bin/isabelle_process Mon Mar 07 09:49:58 2016 +0100 @@ -199,7 +199,7 @@ if [ -n "$MODES" ]; then FIRST_ML_OPTIONS["${#FIRST_ML_OPTIONS[@]}"]="--eval" - FIRST_ML_OPTIONS["${#FIRST_ML_OPTIONS[@]}"]="Unsynchronized.change print_mode (append [$MODES])" + FIRST_ML_OPTIONS["${#FIRST_ML_OPTIONS[@]}"]="Print_Mode.add_modes [$MODES]" fi if [ -n "$SECURE" ]; then