1.1 --- a/src/Tools/isac/ROOT	Tue Oct 06 12:42:25 2020 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Tue Oct 06 12:44:42 2020 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4      "../Specify/Specify"
     1.5      "Interpret"
     1.6  
     1.7 -(* run "./bin/isabelle build -v -b Isac" *)
     1.8 +(* run "./bin/isabelle build -v -b Isac"  *)
     1.9  session Isac = Interpret +
    1.10    description "
    1.11      Isac core, prototype of a math-engine and knowledge