pip: ROOT@6f50e6a8c6e0 (annotated)

18 598409a21f4c added nasa talk Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	session "PIP" = HOL +
598409a21f4c added nasa talk Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	theories [document = false]
598409a21f4c added nasa talk Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	"CpsG"
598409a21f4c added nasa talk Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	"ExtGG"
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"

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Tue, 04 Mar 2014 09:40:40 +0000
changeset 24	6f50e6a8c6e0
parent 20	b56616fd88dd
child 34	313acffe63b6
permissions	-rw-r--r--