Re: [NTG-context] Minimals - problems with format: metafun.mp