[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Jun 4 19:08:55 2002 
Subject:Missing HELP LIB file 
From:Aaron Sloman See text for reply address 
Volume-ID:1020604.01 

[To reply replace "Aaron.Sloman.XX" with "A.Sloman"]

One of my students searched in vain for a TEACH, HELP, or REF file on
the "lib" command.

I then checked through all the versions of Poplog and could not find
anything.

However I know that once upon a time there was a HELP LIB command,
and several other files refer to it. It should have been at
    $usepop/pop/help/lib

I expect it somehow accidentally got deleted from some master version
of poplog and nobody noticed till now.

If anyone has an old version of poplog that still includes that file,
could you mail it to me please.

Thanks.
Aaron
====
Aaron Sloman, ( http://www.cs.bham.ac.uk/~axs/ )
School of Computer Science, The University of Birmingham, B15 2TT, UK
EMAIL A.Sloman AT cs.bham.ac.uk   (ReadATas@please !)
PAPERS: http://www.cs.bham.ac.uk/research/cogaff/ (And free book on Philosophy of AI)
FREE TOOLS: http://www.cs.bham.ac.uk/research/poplog/freepoplog.html