Makarius Wenzel 912d4bb49e Maintain document template in Isabelle/ML via Isar commands: ... result becomes export artifact, which is harvested by Isabelle/Scala build engine		2022-12-02 20:05:15 +01:00
..
build.props	Prefer constants in Scala, to make this independent from component context	2022-12-01 14:15:17 +01:00
options	Maintain document template in Isabelle/ML via Isar commands:	2022-12-02 20:05:15 +01:00
settings	Tuned	2022-12-01 14:22:32 +01:00