src/Doc/Implementation/document/root.tex
Mon, 28 Sep 2020 16:23:15 +0200 wenzelm obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);
Mon, 12 Oct 2015 19:41:10 +0200 wenzelm obsolete;
less more (0) -2 tip