--- a/lib/Tools/doc Thu Mar 10 22:21:01 2016 +0100
+++ b/lib/Tools/doc Thu Mar 10 22:49:15 2016 +0100
@@ -6,4 +6,4 @@
isabelle_admin_build jars || exit $?
-isabelle java isabelle.Doc "$@"
+exec isabelle java isabelle.Doc "$@"
--- a/lib/Tools/process Thu Mar 10 22:21:01 2016 +0100
+++ b/lib/Tools/process Thu Mar 10 22:49:15 2016 +0100
@@ -19,4 +19,4 @@
mkdir -p "$ISABELLE_TMP_PREFIX" || exit $?
-isabelle java isabelle.ML_Process "$@"
+exec isabelle java isabelle.ML_Process "$@"
--- a/lib/Tools/update_cartouches Thu Mar 10 22:21:01 2016 +0100
+++ b/lib/Tools/update_cartouches Thu Mar 10 22:49:15 2016 +0100
@@ -6,4 +6,4 @@
isabelle_admin_build jars || exit $?
-isabelle java isabelle.Update_Cartouches "$@"
+exec isabelle java isabelle.Update_Cartouches "$@"
--- a/lib/Tools/update_header Thu Mar 10 22:21:01 2016 +0100
+++ b/lib/Tools/update_header Thu Mar 10 22:49:15 2016 +0100
@@ -6,4 +6,4 @@
isabelle_admin_build jars || exit $?
-isabelle java isabelle.Update_Header "$@"
+exec isabelle java isabelle.Update_Header "$@"
--- a/lib/Tools/update_then Thu Mar 10 22:21:01 2016 +0100
+++ b/lib/Tools/update_then Thu Mar 10 22:49:15 2016 +0100
@@ -6,4 +6,4 @@
isabelle_admin_build jars || exit $?
-isabelle java isabelle.Update_Then "$@"
+exec isabelle java isabelle.Update_Then "$@"
--- a/lib/Tools/update_theorems Thu Mar 10 22:21:01 2016 +0100
+++ b/lib/Tools/update_theorems Thu Mar 10 22:49:15 2016 +0100
@@ -6,4 +6,4 @@
isabelle_admin_build jars || exit $?
-isabelle java isabelle.Update_Theorems "$@"
+exec isabelle java isabelle.Update_Theorems "$@"