lib/Tools/mkdir
changeset 8199 9e45cf2e6cf7
parent 8198 73a5877ca517
child 8211 714f164f0385
equal deleted inserted replaced
8198:73a5877ca517 8199:9e45cf2e6cf7
    19   echo "    -b           setup build mode (session outputs heap image)"
    19   echo "    -b           setup build mode (session outputs heap image)"
    20   echo "    -d           setup document"
    20   echo "    -d           setup document"
    21   echo "    -p           include parent logic target"
    21   echo "    -p           include parent logic target"
    22   echo
    22   echo
    23   echo "  Prepare session directory, including IsaMakefile, document etc."
    23   echo "  Prepare session directory, including IsaMakefile, document etc."
    24   echo "  with parent LOGIC (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)"
    24   echo "  with parent LOGIC (default ISABELLE_LOGIC=$ISABELLE_LOGIC)"
    25   echo
    25   echo
    26   exit 1
    26   exit 1
    27 }
    27 }
    28 
    28 
    29 function fail()
    29 function fail()