# HG changeset patch
# User wenzelm
# Date 1457646555 -3600
# Node ID 4832491d137619828b072f8938597285b2c3fe37
# Parent  98122e719d1928e6478a99946d1185cd375aa887
tuned;

diff -r 98122e719d19 -r 4832491d1376 lib/Tools/doc
--- 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 "$@"
diff -r 98122e719d19 -r 4832491d1376 lib/Tools/process
--- 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 "$@"
diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_cartouches
--- 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 "$@"
diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_header
--- 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 "$@"
diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_then
--- 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 "$@"
diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_theorems
--- 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 "$@"