lexing: thys2/ROOT@aef235b965bb (annotated)

365 ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	1
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	2
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	3
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"

author	Christian Urban <christian.urban@kcl.ac.uk>
	Fri, 07 Jan 2022 22:28:23 +0000
changeset 382	aef235b965bb
parent 370	5499ba68188c
child 396	cc8e231529fb
permissions	-rw-r--r--