src/Doc/Functions/document/root.tex
Tue, 09 Mar 2021 21:11:05 +0100 wenzelm proper type-setting of cartouches (requires T1);
Tue, 09 Mar 2021 18:44:43 +0100 wenzelm removed unused latex packages;
Fri, 14 Nov 2014 17:07:06 +0100 wenzelm use \isastyletext directly via 'text' command;
less more (0) -3 tip