isabelle: Changelog

wenzelm [Wed, 19 May 2021 21:42:45 +0200] rev 73751

clarified modules;

wenzelm [Wed, 19 May 2021 18:22:56 +0200] rev 73750

clarified old document build;

wenzelm [Wed, 19 May 2021 16:44:40 +0200] rev 73749

unused;

wenzelm [Wed, 19 May 2021 16:41:32 +0200] rev 73748

prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been removed already in 435fb018e8ee;

wenzelm [Wed, 19 May 2021 16:35:10 +0200] rev 73747

prefer standard document_build=lualatex --- no impact of "sedindex" in prepare_document;

wenzelm [Wed, 19 May 2021 15:53:55 +0200] rev 73746

unused;

wenzelm [Wed, 19 May 2021 15:45:13 +0200] rev 73745

proper Unix lines;

wenzelm [Wed, 19 May 2021 13:21:08 +0200] rev 73744

prefer explicit option document_bibliography (actually ignored by build script);

wenzelm [Wed, 19 May 2021 13:19:37 +0200] rev 73743

explicit option document_bibliography;

wenzelm [Wed, 19 May 2021 12:53:51 +0200] rev 73742

proper bibliography;

isabelle