lexing: thys2/ROOT@ec5e4fe4cc70 (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"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	18	"../Positions"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	19	theories [document = true]
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	20	"Paper"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	21	document_files
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	22	"root.bib"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	23	"root.tex"
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	24	"llncs.cls"

author	Chengsong
	Sun, 10 Oct 2021 18:35:21 +0100
changeset 365	ec5e4fe4cc70
child 370	5499ba68188c
permissions	-rw-r--r--