Hi Edwin, > being a newbie and all, what is the significance of pilog.l in opt/ in > the source distribution?
There was a discussion here last year, where to put extensions of the basic system or libraries, so that the names do not conflict with the existing ones. The first case were some Pilog extensions from cle, and as there is already a "lib/pilog.l" and a "misc/pilog.l", we agreed to put such things into a new directory "opt/". Cheers, - Alex -- UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe