DOC DOCFILES                                      Andrew Law, April 1987

These are primarily intended for printing out in the form of manuals.
They may be accessed online, but this is not their primary use. The DOC
files are located in

    $usepop/pop/doc

Information about DOC files may be found in the following documentation
files:

HELP *DOC
    How to invoke DOC files
HELP *DOCUMENTATION
    How to find other sources of on-line documentation
HELP *HELPFILES
    Overview of other documentation
DOC *INDEX
    List of DOC files

The POPLOG programming environment
DOC *SYSSPEC
    Introduction and overview
DOC *CONTINUATION (See also PLOGHELP *HELPFILES
    Rationale for and nature of the Prolog implementation in POPLOG
DOC *VEDMANUAL, *VEDUSERGUIDE (See also HELP *VED
    DOC files on VED


--- C.all/doc/docfiles
--- Copyright University of Sussex 1995. All rights reserved. ----------