--- a/lib/Tools/build_dialog Thu Dec 06 17:59:37 2012 +0100
+++ b/lib/Tools/build_dialog Thu Dec 06 20:26:14 2012 +0100
@@ -12,7 +12,7 @@
function usage()
{
echo
- echo "Usage: isabelle $PRG [OPTIONS] SESSION"
+ echo "Usage: isabelle $PRG [OPTIONS] LOGIC"
echo
echo " Options are:"
echo " -C check for existing image"
@@ -20,7 +20,7 @@
echo " -d DIR include session directory"
echo " -s system build mode: produce output in ISABELLE_HOME"
echo
- echo " Build Isabelle session image via GUI dialog."
+ echo " Build Isabelle session image LOGIC via GUI dialog."
echo
exit 1
}
@@ -67,7 +67,7 @@
[ "$#" -ne 1 ] && usage
-SESSION="$1"; shift
+LOGIC="$1"; shift
## main
@@ -75,5 +75,5 @@
[ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
"$ISABELLE_TOOL" java isabelle.Build_Dialog \
- "$CHECK_EXISTING" "$LOGIC_OPTION" "$SYSTEM_MODE" "$SESSION" "${INCLUDE_DIRS[@]}"
+ "$CHECK_EXISTING" "$LOGIC_OPTION" "$SYSTEM_MODE" "$LOGIC" "${INCLUDE_DIRS[@]}"