equal
deleted
inserted
replaced
1 session UTM = HOL + |
1 session UTM = HOL + |
2 options [document = false] |
2 options [quick_and_dirty, document = false] |
3 theories |
3 theories |
4 "thys/Turing" |
4 "thys/Turing" |
5 "thys/Turing_Hoare" |
5 "thys/Turing_Hoare" |
6 "thys/Uncomputable" |
6 "thys/Uncomputable" |
7 "thys/Abacus_Mopup" |
7 "thys/Abacus_Mopup" |
35 options [document = pdf, document_output = "..", document_variants = "slides2"] |
35 options [document = pdf, document_output = "..", document_variants = "slides2"] |
36 theories |
36 theories |
37 "Slides2" |
37 "Slides2" |
38 files |
38 files |
39 "document/root.tex" |
39 "document/root.tex" |
|
40 |
|
41 |
|
42 session Slides3 in Slides = UTM + |
|
43 options [quick_and_dirty, document = pdf, document_output = "..", document_variants = "slides3"] |
|
44 theories |
|
45 "Slides3" |
|
46 files |
|
47 "document/root.tex" |