Wed, 19 May 2021 18:22:56 +0200 wenzelm clarified old document build;
Wed, 19 May 2021 16:44:40 +0200 wenzelm unused;
Wed, 19 May 2021 16:41:32 +0200 wenzelm prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been removed already in 435fb018e8ee;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip