Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 10 Mar 2016 22:49:15 +0100
changeset 62592 4832491d1376
parent 62591 98122e719d19
child 62593 adffc55a682d
tuned;
lib/Tools/doc file | annotate | diff | comparison | revisions
lib/Tools/process file | annotate | diff | comparison | revisions
lib/Tools/update_cartouches file | annotate | diff | comparison | revisions
lib/Tools/update_header file | annotate | diff | comparison | revisions
lib/Tools/update_then file | annotate | diff | comparison | revisions
lib/Tools/update_theorems file | annotate | diff | comparison | revisions 
--- 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 "$@"
isabelle