author | Christian Urban <urbanc@in.tum.de> |
Tue, 06 Feb 2018 14:38:31 +0000 | |
changeset 204 | 5191a09d9928 |
parent 197 | ca4ddf26a7c7 |
permissions | -rw-r--r-- |
18
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
session "PIP" = HOL + |
197
ca4ddf26a7c7
updated to Isabelle 2016-1
Christian Urban <urbanc@in.tum.de>
parents:
195
diff
changeset
|
2 |
theories [document = false] |
64
b4bcd1edbb6d
renamed files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
59
diff
changeset
|
3 |
"Implementation" |
b4bcd1edbb6d
renamed files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
59
diff
changeset
|
4 |
"Correctness" |
18
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
|
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
session "Slides2" in "Slides" = PIP + |
20
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
7 |
options [document_variants="slides2"] |
18
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
theories [document = false] |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
"~~/src/HOL/Library/LaTeXsugar" |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
10 |
theories[document = true] |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
11 |
"Slides2" |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
12 |
files |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
13 |
"document/build" |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
14 |
|
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
15 |
session "Slides3" in "Slides" = PIP + |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
16 |
options [document = pdf, browser_info = false, document_output = "..", document_variants="slides3"] |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
17 |
theories [document = false] |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
18 |
"~~/src/HOL/Library/LaTeXsugar" |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
19 |
theories[document = true, show_question_marks = false] |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
20 |
"Slides3" |
598409a21f4c
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
21 |
files |
20
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
22 |
"document/build" |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
23 |
|
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
24 |
session "Slides4" in "Slides" = PIP + |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
25 |
options [document = pdf, browser_info = false, document_output = "..", |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
26 |
document_variants="slides4"] |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
27 |
theories [document = false] |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
28 |
"~~/src/HOL/Library/LaTeXsugar" |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
29 |
theories[document = true, show_question_marks = false] |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
30 |
"Slides4" |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
31 |
files |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
32 |
"document/build" |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
33 |
|
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
34 |
|
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
35 |
session Journal in "Journal" = PIP + |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
36 |
options [document = pdf, document_output = "..", document_variants="journal"] |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
37 |
theories |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
38 |
"~~/src/HOL/Library/LaTeXsugar" |
b56616fd88dd
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
18
diff
changeset
|
39 |
"Paper" |
34
313acffe63b6
updated ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
20
diff
changeset
|
40 |
document_files |
313acffe63b6
updated ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
20
diff
changeset
|
41 |
"root.bib" |
313acffe63b6
updated ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
20
diff
changeset
|
42 |
"root.tex" |
313acffe63b6
updated ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
20
diff
changeset
|
43 |