/usr/share/hol88-2.02.19940316/help/ENTRIES/load.doc is in hol88-help 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | \DOC load
\TYPE {load : ((string # bool) -> void)}
\SYNOPSIS
Loads ML phrases from the named file.
\DESCRIBE
A call {load(`file`,flag)} will load ML phrases from the file described by
{file}. If the boolean value {flag} is true, then toplevel printing of the
system responses will occur, otherwise just a dot is printed for each toplevel
phrase. The name {file} is expanded into a real filename using the same
mechanism as {find_ml_file}.
\FAILURE
Fails if the appropriate file cannot be found on the search path, or if an
error occurs in the ML which is being loaded.
\COMMENTS
It is usual to use either {loadf} or {loadt} rather than this function, which
perform the same action with one or the other setting of the flag.
\SEEALSO
find_ml_file, loadf, loadt, search_path, set_search_path.
\ENDDOC
|