equal
deleted
inserted
replaced
15 session ITP in Paper = UTM + |
15 session ITP in Paper = UTM + |
16 options [document = pdf, document_output = "..", document_variants = "paper"] |
16 options [document = pdf, document_output = "..", document_variants = "paper"] |
17 theories |
17 theories |
18 "Paper" |
18 "Paper" |
19 |
19 |
|
20 session Journal in Journal = UTM + |
|
21 options [document = pdf, document_output = "..", document_variants = "journal"] |
|
22 theories |
|
23 "Paper" |
|
24 |
20 session Slides1 in Slides = UTM + |
25 session Slides1 in Slides = UTM + |
21 options [document = pdf, document_output = "..", document_variants = "slides1"] |
26 options [document = pdf, document_output = "..", document_variants = "slides1"] |
22 theories |
27 theories |
23 "Slides1" |
28 "Slides1" |
24 |
29 |