> 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
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/".