diff options
| author | Thomas Bauereiss | 2018-08-29 15:35:44 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-08-29 15:35:44 +0100 |
| commit | 07e3591e2427db2d9407d554ac57984ca566c6ed (patch) | |
| tree | 9fdd56300b7b0fde4ddecfaed2587bb937cb69ff /lib/isabelle/manual/ROOT | |
| parent | 6860b871787df1341c94f4239904fef1743f8625 (diff) | |
Updated snapshots for Isabelle 2018
Diffstat (limited to 'lib/isabelle/manual/ROOT')
| -rw-r--r-- | lib/isabelle/manual/ROOT | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/isabelle/manual/ROOT b/lib/isabelle/manual/ROOT index a5923f26..aae60daa 100644 --- a/lib/isabelle/manual/ROOT +++ b/lib/isabelle/manual/ROOT @@ -1,9 +1,4 @@ -session "Riscv_duopod" in "../../../riscv" = "Sail" + - options [document = false] - theories - Riscv_duopod_lemmas - -session "Sail-Manual" = "Riscv_duopod" + +session "Sail-Manual" = "Sail-RISC-V-Duopod" + options [document = pdf, document_output = "output"] theories Manual |