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 > Ciao, cle. -- UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe