Contents of the Distribution

README, COPYING.LIB

Read these files before using the package.

CHANGES

History of the changes between versions.

Makefile

Makefile for producing html.pl. Must be edited to suit your system.

c_system.pl

Compatibility file for system system.

html0.pl

Main source code from which html.pl is made by make.

html.pl

This is the main library file which should be loaded into the application. The default version in the distribution is for &-Prolog/CIAO, change Makefile options and run make to make a version for your system.

doc

Directory containing the documentation.

html_pl.tex

This manual, in LaTeX format.

html_pl.ps

This manual, in postscript format.

html_pl/html_pl.html

This manual, in html format. Needs also the other files in this directory.

examples

Directory containing examples.

images

Directory containing standard images used in the package.