lexing: thys2/ROOT@0cce1aee0fb2 (annotated)

365 ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	1
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	2
396 cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	3	(*
365 ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	4	session Journal in Journal = "HOL" +
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	5	options [ document_output = "..", document_variants="journal", document = pdf]
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	6	sessions
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	7	"HOL-Library"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	8	directories
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	9	".."
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	10	theories [document = false]
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	11	"HOL-Library.LaTeXsugar"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	12	"HOL-Library.Sublist"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	13	"../Spec"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	14	"../Lexer"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	15	"../RegLangs"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	16	"../Simplifying"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	17	"../Sulzmann"
370 5499ba68188c updated ROOT Christian Urban <christian.urban@kcl.ac.uk> parents: 365 diff changeset	18	"../Positions"
5499ba68188c updated ROOT Christian Urban <christian.urban@kcl.ac.uk> parents: 365 diff changeset	19	"../SizeBound"
365 ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	20	theories [document = true]
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	21	"Paper"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	22	document_files
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	23	"root.bib"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	24	"root.tex"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	25	"llncs.cls"
396 cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	26	*)
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	27
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	28	session Paper in Paper = "HOL" +
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	29	options [ document_output = "..",
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	30	document_build = "pdflatex",
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	31	document_variants="paper",
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	32	document = pdf,
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	33	document_heading_prefix = "",
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	34	document_comment_latex]
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	35	sessions
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	36	"HOL-Library"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	37	directories
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	38	".."
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	39	theories [document = false]
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	40	"HOL-Library.LaTeXsugar"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	41	"HOL-Library.Sublist"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	42	"../Spec"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	43	"../Lexer"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	44	"../RegLangs"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	45	"../Simplifying"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	46	"../Sulzmann"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	47	"../Positions"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	48	"../SizeBound4"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	49	theories [document = true]
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	50	"Paper"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	51	document_files
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	52	"cc-by.pdf"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	53	"lipics-logo-bw.pdf"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	54	"root.bib"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	55	"root.tex"
cc8e231529fb added ITP paper Christian Urban <christian.urban@kcl.ac.uk> parents: 370 diff changeset	56	"lipics-v2021.cls"

author	Chengsong
	Mon, 21 Feb 2022 23:38:26 +0000
changeset 434	0cce1aee0fb2
parent 396	cc8e231529fb
permissions	-rw-r--r--