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