summaryrefslogtreecommitdiff
path: root/lib/isabelle/manual/ROOT
blob: a5923f26a25ea939c1cfdcb937bc3c48491f9e12 (plain)
1
2
3
4
5
6
7
8
9
10
session "Riscv_duopod" in "../../../riscv" = "Sail" +
  options [document = false]
  theories
    Riscv_duopod_lemmas

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