changeset 8199 | 9e45cf2e6cf7 |
parent 8198 | 73a5877ca517 |
child 8211 | 714f164f0385 |
--- a/lib/Tools/mkdir Sat Feb 05 16:59:50 2000 +0100 +++ b/lib/Tools/mkdir Sat Feb 05 17:06:27 2000 +0100 @@ -21,7 +21,7 @@ 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 " with parent LOGIC (default ISABELLE_LOGIC=$ISABELLE_LOGIC)" echo exit 1 }