--- a/src/Tools/jEdit/lib/Tools/jedit Fri Jun 29 15:54:41 2018 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit Fri Jun 29 16:45:54 2018 +0200
@@ -106,6 +106,7 @@
echo " -b build only"
echo " -d DIR include session directory"
echo " -f fresh build"
+ echo " -i NAME include session in name-space of theories"
echo " -j OPTION add jEdit runtime option"
echo " (default $JEDIT_OPTIONS)"
echo " -l NAME logic session name"
@@ -142,6 +143,7 @@
JEDIT_LOGIC_ANCESTOR=""
JEDIT_LOGIC_REQUIREMENTS=""
JEDIT_LOGIC_FOCUS=""
+JEDIT_INCLUDE_SESSIONS=""
JEDIT_SESSION_DIRS=""
JEDIT_LOGIC=""
JEDIT_PRINT_MODE=""
@@ -150,7 +152,7 @@
function getoptions()
{
OPTIND=1
- while getopts "A:BFD:J:R:S:bd:fj:l:m:np:s" OPT
+ while getopts "A:BFD:J:R:S:bd:fi:j:l:m:np:s" OPT
do
case "$OPT" in
A)
@@ -181,6 +183,13 @@
JEDIT_SESSION_DIRS="$JEDIT_SESSION_DIRS:$OPTARG"
fi
;;
+ i)
+ if [ -z "$JEDIT_INCLUDE_SESSIONS" ]; then
+ JEDIT_INCLUDE_SESSIONS="$OPTARG"
+ else
+ JEDIT_INCLUDE_SESSIONS="$JEDIT_INCLUDE_SESSIONS:$OPTARG"
+ fi
+ ;;
f)
BUILD_JARS="jars_fresh"
;;
@@ -413,7 +422,7 @@
if [ "$BUILD_ONLY" = false ]
then
export JEDIT_SESSION_DIRS JEDIT_LOGIC JEDIT_LOGIC_ANCESTOR JEDIT_LOGIC_REQUIREMENTS \
- JEDIT_LOGIC_FOCUS JEDIT_PRINT_MODE JEDIT_BUILD_MODE
+ JEDIT_LOGIC_FOCUS JEDIT_INCLUDE_SESSIONS JEDIT_PRINT_MODE JEDIT_BUILD_MODE
export JEDIT_ML_PROCESS_POLICY="$ML_PROCESS_POLICY"
classpath "$JEDIT_HOME/dist/jedit.jar"
exec isabelle java "${JAVA_ARGS[@]}" isabelle.Main "${ARGS[@]}"