lib/Tools/mkdir

   echo
   echo "Usage: $PRG [LOGIC] NAME"
   echo
   echo "  Options are:"
   echo "    -I FILE      alternative IsaMakefile output"
+  echo "    -P           include parent logic target"
   echo "    -b           setup build mode (session outputs heap image)"
   echo "    -d           setup document"
-  echo "    -p           include parent logic target"
   echo
   echo "  Prepare session directory, including IsaMakefile, document etc."
   echo "  with parent LOGIC (default ISABELLE_LOGIC=$ISABELLE_LOGIC)"
   echo
   exit 1

 ## process command line
 
 # options
 
 ISAMAKEFILE="IsaMakefile"
+PARENT=""
 BUILD=""
 DOCUMENT=""
-PARENT=""
 
-while getopts "I:bdp" OPT
+while getopts "I:Pbd" OPT
 do
   case "$OPT" in
     I)
       ISAMAKEFILE="$OPTARG"
+      ;;
+    P)
+      PARENT=true
       ;;
     b)
       BUILD=true
       ;;
     d)
       DOCUMENT=true
-      ;;
-    p)
-      PARENT=true
       ;;
     \?)
       usage
       ;;
   esac

   TARGET="\$(OUT)/$NAME"
   USEDIR="\$(USEDIR) -b -P http://isabelle.in.tum.de/library"
 else
   IMAGES=""
   TEST="$NAME"
-  TARGET="\$(LOG)/$NAME.gz"
+  TARGET="\$(LOG)/$LOGIC-$NAME.gz"
   USEDIR="\$(USEDIR)"
 fi
 
 if [ "$ISAMAKEFILE" != - -a -f "$ISAMAKEFILE" ]; then
   echo "keeping $PWD/$ISAMAKEFILE" >&2