% luacoolprop-plain.tex -- alternate name for the plain TeX wrapper % Copyright (C) 2026 Christophe Jorssen. LPPL 1.3c or later. \input p-luacoolprop.tex \endinput .