src/Tools/isac/Doc/ROOT
changeset 60189 6b021e8cb8da
parent 60188 422186a35be8
child 60190 df5045d244d1
     1.1 --- a/src/Tools/isac/Doc/ROOT	Thu Apr 08 13:27:27 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/ROOT	Tue Apr 13 13:20:05 2021 +0200
     1.3 @@ -1,10 +1,15 @@
     1.4 -(* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
     1.5 +(*~~$ ./bin/isabelle build ???
     1.6 +*)
     1.7  session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
     1.8    options [document = pdf, document_output = "output"]
     1.9    sessions
    1.10      "Interpret"
    1.11    theories
    1.12      "Lucas_Interpreter"
    1.13 +  document_files (in "../")
    1.14 +    "isabelle.sty"
    1.15 +    "isabellesym.sty"
    1.16 +    "pdfsetup.sty"
    1.17    document_files
    1.18      "bend-7-70-en.png"
    1.19      "fun-pack-biegelinie-2.png"
    1.20 @@ -12,14 +17,19 @@
    1.21      "root.bib"
    1.22      "root.tex"
    1.23  
    1.24 -(* run "./bin/isabelle build -v -b Specify_Phase" *)
    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  session "Specify_Phase" in "Specify_Phase" = HOL +
    1.29    options [document = pdf, document_output = "output"]
    1.30    sessions
    1.31      "Specify"
    1.32    theories
    1.33      "Specify_Phase"
    1.34 +  document_files (in "../")
    1.35 +    "isabelle.sty"
    1.36 +    "isabellesym.sty"
    1.37 +    "pdfsetup.sty"
    1.38    document_files
    1.39      "root.bib"
    1.40      "root.tex"
    1.41 -    "user-requirements.tex"