src/Tools/isac/Doc/ROOT
author Walther Neuper <walther.neuper@jku.at>
Wed, 11 Mar 2020 15:25:52 +0100
changeset 59827 168abe8dd1e3
child 60183 0959e61a3f3f
permissions -rw-r--r--
start formally checked documentation with Lucas_Interpreter

note: the text is a partial copy from the IJCAR/ThEdu'20 paper
     1 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
     2   options [document = pdf, document_output = "output"]
     3   sessions
     4     "Interpret"
     5   theories
     6     "Lucas_Interpreter"
     7   document_files (in "../")
     8     "isabelle.sty"
     9     "isabellesym.sty"
    10     "pdfsetup.sty"
    11   document_files
    12     "bend-7-70-en.png"
    13     "fun-pack-biegelinie-2.png"
    14     "fun-pack-simplify.png"
    15     "root.bib"
    16     "root.tex"