equal
deleted
inserted
replaced
10 "thys/Rec_Def" |
10 "thys/Rec_Def" |
11 "thys/Recursive" |
11 "thys/Recursive" |
12 "thys/UF" |
12 "thys/UF" |
13 "thys/UTM" |
13 "thys/UTM" |
14 |
14 |
15 session ITP = UTM + |
15 session ITP in Paper = UTM + |
16 options [document = pdf, document_output = "."] |
16 options [document = pdf, document_output = "..", document_variants = "paper"] |
17 theories |
17 theories |
18 "Paper/Paper" |
18 "Paper" |
|
19 |
|
20 session Slides1 in Slides = UTM + |
|
21 options [document = pdf, document_output = "..", document_variants = "slides1"] |
|
22 theories |
|
23 "Slides1" |
|
24 |
|
25 session Slides2 in Slides = UTM + |
|
26 options [document = pdf, document_output = "..", document_variants = "slides2"] |
|
27 theories |
|
28 "Slides2" |