equal
deleted
inserted
replaced
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() |