lib/isabelle/manual/ROOT


1
2
3
4
5

session "Sail-Manual" = "Sail-RISC-V-Duopod" +
  options [document = pdf, document_output = "output"]
  theories
    Manual
  document_files "root.tex" "Sail_session_graph.pdf"