equal
deleted
inserted
replaced
2 theories [document = false] |
2 theories [document = false] |
3 "CpsG" |
3 "CpsG" |
4 "ExtGG" |
4 "ExtGG" |
5 |
5 |
6 session "Slides2" in "Slides" = PIP + |
6 session "Slides2" in "Slides" = PIP + |
7 options [document = pdf, browser_info = false, document_output = "..", document_variants="slides2"] |
7 options [document_variants="slides2"] |
8 theories [document = false] |
8 theories [document = false] |
9 "~~/src/HOL/Library/LaTeXsugar" |
9 "~~/src/HOL/Library/LaTeXsugar" |
10 theories[document = true] |
10 theories[document = true] |
11 "Slides2" |
11 "Slides2" |
12 files |
12 files |
18 "~~/src/HOL/Library/LaTeXsugar" |
18 "~~/src/HOL/Library/LaTeXsugar" |
19 theories[document = true, show_question_marks = false] |
19 theories[document = true, show_question_marks = false] |
20 "Slides3" |
20 "Slides3" |
21 files |
21 files |
22 "document/build" |
22 "document/build" |
|
23 |
|
24 session "Slides4" in "Slides" = PIP + |
|
25 options [document = pdf, browser_info = false, document_output = "..", |
|
26 document_variants="slides4"] |
|
27 theories [document = false] |
|
28 "~~/src/HOL/Library/LaTeXsugar" |
|
29 theories[document = true, show_question_marks = false] |
|
30 "Slides4" |
|
31 files |
|
32 "document/build" |
|
33 |
|
34 |
|
35 session Journal in "Journal" = PIP + |
|
36 options [document = pdf, document_output = "..", document_variants="journal"] |
|
37 theories |
|
38 "~~/src/HOL/Library/LaTeXsugar" |
|
39 "Paper" |