| changeset 18 | cfd4b8219c87 |
| parent 10 | 569222a42cf5 |
| 17:a87e2181d6b6 | 18:cfd4b8219c87 |
|---|---|
8 session "Paper" = RC + |
8 session "Paper" = RC + |
9 options [document = pdf, browser_info = false, document_output = "."] |
9 options [document = pdf, browser_info = false, document_output = "."] |
10 theories |
10 theories |
11 "Paper" |
11 "Paper" |
12 |
12 |
13 |
13 session "Slides1" in Slides = RC + |
14 options [document = pdf, document_output = "..", document_variants = "slides1"] |
|
15 theories |
|
16 "Slides1" |
|
17 files |
|
18 "document/root.tex" |