tm: ROOT@fa6f654cbc13 (annotated)

185 2fad78b479a3 added clear-definition to paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 184 diff changeset	1	session UTM = HOL +
285 447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	2	options [quick_and_dirty, document = false]
184 7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	theories
7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	"thys/Turing"
7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	"thys/Turing_Hoare"
7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	"thys/Uncomputable"
7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	"thys/Abacus_Mopup"
7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	"thys/Abacus"
198 d93cc4295306 tuned some files Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 187 diff changeset	9	"thys/Abacus_Defs"
184 7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	"thys/Rec_Def"
7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	"thys/Recursive"
7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	"thys/UF"
7386b3758360 added newer ROOT file Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	"thys/UTM"
186 455411d69c12 added link and comment to fourth edition of Boolos Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 185 diff changeset	14
271 4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	15	session ITP in Paper = UTM +
4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	16	options [document = pdf, document_output = "..", document_variants = "paper"]
186 455411d69c12 added link and comment to fourth edition of Boolos Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 185 diff changeset	17	theories
271 4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	18	"Paper"
4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	19
282 02b6fab379ba started journal version Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 272 diff changeset	20	session Journal in Journal = UTM +
02b6fab379ba started journal version Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 272 diff changeset	21	options [document = pdf, document_output = "..", document_variants = "journal"]
02b6fab379ba started journal version Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 272 diff changeset	22	theories
02b6fab379ba started journal version Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 272 diff changeset	23	"Paper"
283 7d29c3c09bea updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 282 diff changeset	24	files
7d29c3c09bea updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 282 diff changeset	25	"document/root.tex"
282 02b6fab379ba started journal version Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 272 diff changeset	26
271 4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	27	session Slides1 in Slides = UTM +
4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	28	options [document = pdf, document_output = "..", document_variants = "slides1"]
4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	29	theories
4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	30	"Slides1"
283 7d29c3c09bea updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 282 diff changeset	31	files
7d29c3c09bea updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 282 diff changeset	32	"document/root.tex"
271 4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	33
4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	34	session Slides2 in Slides = UTM +
4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	35	options [document = pdf, document_output = "..", document_variants = "slides2"]
4457185b22ef added slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 198 diff changeset	36	theories
272 42f2c28d1ce6 new verison of the slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 271 diff changeset	37	"Slides2"
283 7d29c3c09bea updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 282 diff changeset	38	files
7d29c3c09bea updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 282 diff changeset	39	"document/root.tex"
285 447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	40
447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	41
447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	42	session Slides3 in Slides = UTM +
447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	43	options [quick_and_dirty, document = pdf, document_output = "..", document_variants = "slides3"]
447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	44	theories
447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	45	"Slides3"
447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	46	files
447b433b67fa added things --- in messy state Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 283 diff changeset	47	"document/root.tex"

author	Christian Urban <urbanc@in.tum.de>
	Thu, 10 Jan 2019 13:00:04 +0000
changeset 295	fa6f654cbc13
parent 285	447b433b67fa
permissions	-rw-r--r--