diff -r 4e446f8cef3e -r cf49932f3c42 bin/isabelle
--- a/bin/isabelle	Thu Sep 28 14:36:20 2000 +0200
+++ b/bin/isabelle	Thu Sep 28 14:40:38 2000 +0200
@@ -24,6 +24,7 @@
   echo "Usage: $PRG [OPTIONS] [INPUT] [OUTPUT]"
   echo
   echo "  Options are:"
+  echo "    -C           tell ML system to copy output image"
   echo "    -I           startup Isar interaction mode"
   echo "    -P           startup Proof General interaction mode"
   echo "    -c           tell ML system to compress output image"
@@ -53,6 +54,7 @@
 
 # options
 
+COPYDB=""
 ISAR=false
 PROOFGENERAL=""
 COMPRESS=""
@@ -62,9 +64,12 @@
 READONLY=""
 NOWRITE=""
 
-while getopts "IPce:m:qruw" OPT
+while getopts "CIPce:m:qruw" OPT
 do
   case "$OPT" in
+    C)
+      COPYDB=true
+      ;;
     I)
       ISAR=true
       ;;
@@ -199,7 +204,7 @@
   MLTEXT="$MLTEXT; Isar.main();"
 fi
 
-export INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
+export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
 
 if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
   "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"