On Tue, Sep 2, 2014 at 10:04 AM, Mittelbach, Frank
<[log in to unmask]> wrote:
> perhaps we should do that. On the other hand if it is just a warning in
> the log then chances are we will be in the same boat next year. Still ...
Even an error message that explains the situation would be preferable
to the standard "File `l3prop.sty' not found" error.