src/Tools/isac/Doc/ROOT
changeset 59827 168abe8dd1e3
child 60183 0959e61a3f3f
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/isac/Doc/ROOT	Wed Mar 11 15:25:52 2020 +0100
     1.3 @@ -0,0 +1,16 @@
     1.4 +session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
     1.5 +  options [document = pdf, document_output = "output"]
     1.6 +  sessions
     1.7 +    "Interpret"
     1.8 +  theories
     1.9 +    "Lucas_Interpreter"
    1.10 +  document_files (in "../")
    1.11 +    "isabelle.sty"
    1.12 +    "isabellesym.sty"
    1.13 +    "pdfsetup.sty"
    1.14 +  document_files
    1.15 +    "bend-7-70-en.png"
    1.16 +    "fun-pack-biegelinie-2.png"
    1.17 +    "fun-pack-simplify.png"
    1.18 +    "root.bib"
    1.19 +    "root.tex"