src/Tools/isac/Doc/ROOT
changeset 60190 df5045d244d1
parent 60189 6b021e8cb8da
child 60785 5b6bd5ae739b
     1.1 --- a/src/Tools/isac/Doc/ROOT	Tue Apr 13 13:20:05 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/ROOT	Tue Apr 13 14:07:17 2021 +0200
     1.3 @@ -1,15 +1,11 @@
     1.4 -(*~~$ ./bin/isabelle build ???
     1.5 -*)
     1.6 +(*~~$ ./bin/isabelle build -v -b Lucas_Interpreter
     1.7 + *)
     1.8  session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
     1.9    options [document = pdf, document_output = "output"]
    1.10    sessions
    1.11      "Interpret"
    1.12    theories
    1.13      "Lucas_Interpreter"
    1.14 -  document_files (in "../")
    1.15 -    "isabelle.sty"
    1.16 -    "isabellesym.sty"
    1.17 -    "pdfsetup.sty"
    1.18    document_files
    1.19      "bend-7-70-en.png"
    1.20      "fun-pack-biegelinie-2.png"
    1.21 @@ -17,19 +13,15 @@
    1.22      "root.bib"
    1.23      "root.tex"
    1.24  
    1.25 -(*~~$ ./bin/isabelle build -v -b -D ~~/src/Tools/isac/Doc/Specify_Phase
    1.26 -    *** Bad session root directory: "/usr/local/isabisac/src/Tools/isac/Doc/Specify_Phase"
    1.27 -  *)
    1.28 +(*~~$ ./bin/isabelle build -v -b Specify_Phase
    1.29 + *)
    1.30  session "Specify_Phase" in "Specify_Phase" = HOL +
    1.31    options [document = pdf, document_output = "output"]
    1.32    sessions
    1.33      "Specify"
    1.34    theories
    1.35      "Specify_Phase"
    1.36 -  document_files (in "../")
    1.37 -    "isabelle.sty"
    1.38 -    "isabellesym.sty"
    1.39 -    "pdfsetup.sty"
    1.40    document_files
    1.41      "root.bib"
    1.42      "root.tex"
    1.43 +    "user-requirements.tex"