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"
|
