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"