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"