1.1 --- a/src/Tools/isac/ROOT	Fri Aug 24 14:23:13 2018 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Mon Aug 27 15:57:45 2018 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4  # file:///home/wneuper/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf
     1.5  *)
     1.6  
     1.7 +(* run "./bin/isabelle build -v -b Isac" *)
     1.8  session Isac in "~~/src/Tools/isac" = HOL +
     1.9    description {*
    1.10      Isac core, prototype of a math-engine and knowledge