lexing: thys/ROOT@e51c9a67a68d (annotated)

95 a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2
218 16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	3
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	4	session Journal in Journal = "HOL" +
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	5	options [document_output = "..", document_variants="journal"]
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	6	sessions
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	7	"HOL-Library"
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	8	directories
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	9	".."
330 89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	10	theories [document = false]
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	11	"HOL-Library.LaTeXsugar"
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	12	"HOL-Library.Sublist"
330 89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	13	"../Spec"
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	14	"../Lexer"
330 89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	15	"../RegLangs"
89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	16	"../Simplifying"
89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	17	"../Sulzmann"
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	18	"../Positions"
330 89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	19	theories [document = true]
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	20	"Paper"
218 16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	21	document_files
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	22	"root.bib"
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	23	"root.tex"

author	Christian Urban <christian.urban@kcl.ac.uk>
	Sun, 10 Oct 2021 00:56:47 +0100
changeset 362	e51c9a67a68d
parent 330	89e6605c4ca4
child 363	fc346faada4e
permissions	-rw-r--r--