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"