1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri Nov 17 05:49:54 2017 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Jan 17 17:25:26 2018 +0100
     1.3 @@ -31,6 +31,10 @@
     1.4  *   before running Test_Isac.thy  ^^^            \<longrightarrow>  ^^^  in src/Tools/isac
     1.5  *   after running Test_Isac.thy   ^^^            <--  ^^^  in src/Tools/isac
     1.6  *********************** DON'T FORGET TO REVERSE CHANGE (1) AFTER TESTS ***********************
     1.7 +
     1.8 +rebuild Isac (with ^^^updated files) by
     1.9 +$ export ISABELLE_VERSION=2015 # for libisabelle
    1.10 +$ ./bin/isabelle build -v -b Isac
    1.11  \<close>
    1.12  
    1.13  section \<open>Run the tests\<close>