The lpdoc Documentation Generator

An Automatic Documentation Generator for (C)LP Systems
The Ciao System Documentation Series
Technical Report CLIP 5/97.1
Draft printed on: 23 April 2002
Version 1.9#58 (2002/4/19, 20:59:33 CEST)

Manuel Hermenegildo and the CLIP Group
clip@dia.fi.upm.es
http://www.clip.dia.fi.upm.es/
The CLIP Group
Facultad de Informática
Universidad Politécnica de Madrid



This document was generated on 23 April 2002 using texi2html 1.56k + clip patches and lpdoc.