File psl-1983/3-1/util/mini.build artifact d95845b6fa part of check-in 72aa716688

in "mini-support-patch.red"$
in "mini-support.red"$
in "mini-support.fix"$
global '(PNAM);
in "mini.sl"$