[m-rev.] for post-commit review: implement PROPOSED searches for .a, .init, .jar and .dll files

[Julien Fischer]

On Wed, 27 Nov 2024 at 20:30, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> This completes the initial draft of the code for
> searches in the PROPOSED install library structure.
> For review by anyone. I am particularly seeking feedback
> on the updated error messages in handle_options.m.

You didn't include the diff in this mail.  I retrieved it from git.
The updated messages are fine -- you can delete the commented-out
copies of the old ones -- as is the rest of the diff.

Julien.