equal
deleted
inserted
replaced
19 |
19 |
20 session Journal in Journal = UTM + |
20 session Journal in Journal = UTM + |
21 options [document = pdf, document_output = "..", document_variants = "journal"] |
21 options [document = pdf, document_output = "..", document_variants = "journal"] |
22 theories |
22 theories |
23 "Paper" |
23 "Paper" |
|
24 files |
|
25 "document/root.tex" |
24 |
26 |
25 session Slides1 in Slides = UTM + |
27 session Slides1 in Slides = UTM + |
26 options [document = pdf, document_output = "..", document_variants = "slides1"] |
28 options [document = pdf, document_output = "..", document_variants = "slides1"] |
27 theories |
29 theories |
28 "Slides1" |
30 "Slides1" |
|
31 files |
|
32 "document/root.tex" |
29 |
33 |
30 session Slides2 in Slides = UTM + |
34 session Slides2 in Slides = UTM + |
31 options [document = pdf, document_output = "..", document_variants = "slides2"] |
35 options [document = pdf, document_output = "..", document_variants = "slides2"] |
32 theories |
36 theories |
33 "Slides2" |
37 "Slides2" |
|
38 files |
|
39 "document/root.tex" |