isabelle: src/Doc/Demo_FoilTeX/ROOT@b5f3d1051b13 (annotated)

76456 8dbda1b611e9 tuned comments; wenzelm parents: 76440 diff changeset	1	chapter Doc (Isabelle documentation)
76440 d7a3a0a793e2 proper chapter (amending 809cd1195795); wenzelm parents: 76420 diff changeset	2
76420 809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	3	session Demo_FoilTeX (doc) = HOL +
76456 8dbda1b611e9 tuned comments; wenzelm parents: 76440 diff changeset	4	options [document_variants = "demo_foiltex", (Isabelle documentation)
76420 809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	5	document_build = "pdflatex", document_logo = "FoilTeX"]
809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	6	theories
809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	7	Document
809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	8	document_files (in "$ISABELLE_FOILTEX_HOME")
809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	9	"fltfonts.def"
809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	10	"foil20.clo"
809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	11	"foils.cls"
809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	12	document_files
76515 3e3541e79219 separate style for re-use; wenzelm parents: 76456 diff changeset	13	"isabellefoils.sty"
76420 809cd1195795 clarified directory layout: templates for user sessions; wenzelm parents: diff changeset	14	"root.tex"

author	wenzelm
	Mon, 11 Sep 2023 19:30:48 +0200
changeset 78659	b5f3d1051b13
parent 76515	3e3541e79219
permissions	-rw-r--r--