Index of /pub/Linux/devel/lang/prolog/swi/refman4.1
Name Last modified Size Description
Parent Directory -
HTMLmanual.tar.gz 07-Feb-2002 15:36 246K
README 14-Jan-2002 13:27 959
refman.pdf 07-Feb-2002 16:11 1.2M
This directory contains the SWI-Prolog 4.0 reference manual.
Last updated: Dec 4 2001 for version 4.1.0
The reference manual is available in four formats:
# refman.pdf
Adobe's Portable Document Format version, created using
pdflatex. You can read this using acroread, xpdf, recent
versions of ghostview (gsview, gv) or any other pdf-1.2 capable
viewer. You can also print PDF files using these tools.
# HTMLmanual.tar.gz
Packed form of:
http://www.swi.psy.uva.nl/projects/SWI-Prolog/Manual/
There is nothing in this manual that is not in the online manual as
well. The ASCII sources for the online manual live in library/MANUAL,
which is generated using TeX and dvi2tty from the same source as the
above manuals. The file library/helpidx.pl contains the index to the
manual and is generated by parsing MANUAL with the Prolog program
man/plindex.pl
The LaTeX sources of the documentation are distributed with the sources.