font-arb.mkii / last modification: 2020-01-30 14:15
\unprotected \writestatus\m!systems{load ARABTEX as a module instead}

\usemodule[arabtex]

\endinput