diff options
| author | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-01-21 18:40:28 +0000 |
|---|---|---|
| committer | Thomas Bauereiss <tb592@cl.cam.ac.uk> | 2019-01-21 18:40:28 +0000 |
| commit | fc7003ce00bcf9dd25917588425cc70f3ee140dc (patch) | |
| tree | 4c786ba54b1ec2199e2c4328c208c9ea94f94369 /handwritten_support | |
| parent | dc9c704e4d046e7578a2dfee54812c2198d620e1 (diff) | |
| download | sail-riscv-fc7003ce00bcf9dd25917588425cc70f3ee140dc.zip sail-riscv-fc7003ce00bcf9dd25917588425cc70f3ee140dc.tar.gz sail-riscv-fc7003ce00bcf9dd25917588425cc70f3ee140dc.tar.bz2 | |
Output auxiliary Isabelle theories into generated_definitions/isabelle
Also copy ROOT file into the same directory
Diffstat (limited to 'handwritten_support')
| -rw-r--r-- | handwritten_support/ROOT | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/handwritten_support/ROOT b/handwritten_support/ROOT index 5452298..281bd26 100644 --- a/handwritten_support/ROOT +++ b/handwritten_support/ROOT @@ -1,9 +1,9 @@ session "Sail-RISC-V" = "Sail" + options [document = false] theories - "../generated_definitions/lem/Riscv_lemmas" + "Riscv_lemmas" session "Sail-RISC-V-Duopod" = "Sail" + options [document = false] theories - "../generated_definitions/lem/Riscv_duopod_lemmas" + "Riscv_duopod_lemmas" |