Alexander Burger wrote:
> On Wed, Dec 23, 2009 at 12:46:12PM +0100, Henrik Sarvell wrote:
>> extdxxxx.l then or maybe xxxxextd.l, both have their pros and cons,
>> the first one makes it easy to see all the extensions the second makes
>> it easy to see which base libs have got extended features.
> Somehow all these attatchments to "pilog.l" are ugly. Another idea: What
> if we make a new directory for that?
> I could imagine that we declare "opt/" for optional libraries and
> packages. Then the first file would be "opt/pilog.l".

I think this is the best idea so far, and it opens a easy way for
further not Pilog based extensions :-)

Just my two ยข.

> Cheers,
> - Alex



Reply via email to