1.1 --- a/src/Tools/isac/ROOT	Tue Apr 13 13:20:05 2021 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Tue Apr 13 14:07:17 2021 +0200
     1.3 @@ -56,18 +56,3 @@
     1.4      "BridgeJEdit/BridgeJEdit"
     1.5      "Knowledge/Build_Thydata"
     1.6      "Build_Isac"
     1.7 -
     1.8 -(*~~$ ./bin/isabelle build -v -b Doc          #check ok, no output
     1.9 -  *)
    1.10 -session Doc in Doc = Interpret +
    1.11 -  description "
    1.12 -    Formally checked documentation for Isac in analogy to ~~/Doc/.
    1.13 -  "
    1.14 -  options [document = false (*, browser_info = true*)]
    1.15 -  directories
    1.16 -    "Lucas_Interpreter"
    1.17 -    "Specify_Phase"
    1.18 -  theories
    1.19 -    "Lucas_Interpreter/Lucas_Interpreter"
    1.20 -    "Specify_Phase/Specify_Phase"
    1.21 -