Fix wrong path for actual Isabelle version and update to dependent variables.

2019-06-17 16:35:40 +01:00 · 2019-06-17 16:35:40 +01:00 · 30c5876ade
parent 567fedf6c8
commit 30c5876ade
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -197,6 +197,7 @@ install_and_register(){
 }


+ISABELLE=`which isabelle`

 while [ $# -gt 0 ]
 do
@ -216,7 +217,6 @@ do
 done


-ISABELLE=`which isabelle`
 ACTUAL_ISABELLE_VERSION=`$ISABELLE version`
 GEN_DIR=document-generator
 PROG=`echo $0 | sed 's|.*/||'`;