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: 7 July 2000
Version 1.9#50 (2000/4/18, 3:22:13 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 7 July 2000 using texi2html 1.56k + clip patches and lpdoc.