isabelle: src/Doc/Demo_FoilTeX/ROOT@ee58db0396d8 (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	Fabian Huch <huch@in.tum.de>
	Wed, 10 Jul 2024 16:58:39 +0200
changeset 80543	ee58db0396d8
parent 76515	3e3541e79219
permissions	-rw-r--r--