1.1 --- a/src/Tools/isac/ROOT	Mon Dec 30 11:16:00 2019 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Wed Jan 15 11:47:38 2020 +0100
     1.3 @@ -2,8 +2,6 @@
     1.4      Author: Walther Neuper, TU Graz, 130715
     1.5     (c) due to copyright terms
     1.6  
     1.7 -$ export ISABELLE_VERSION=2018 # for libisabelle
     1.8 -
     1.9  see ~~/etc/settings
    1.10    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.11  before out-outcommenting (*, browser_info = true*) below and ...
    1.12 @@ -26,3 +24,12 @@
    1.13    options [document = false (*, browser_info = true*)]
    1.14    theories
    1.15      Build_Isac
    1.16 +
    1.17 +(* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
    1.18 +session Lucas_Interpreter = HOL +
    1.19 +  description \<open>
    1.20 +    Session Isac restricted to code required for Lucas_Interpreter.
    1.21 +  \<close>
    1.22 +  options [document = false (*, browser_info = true*)]
    1.23 +  theories
    1.24 +    "Interpret/Interpret"