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