The LPdoc Internals Manual

Edited by:
Manuel Hermenegildo
Jose F. Morales
The Ciao Documentation Series
Generated/Printed on: 2019/2/25
Technical Report CLIP 5/97.1-<version>

This is the LPdoc internals manual, providing information on the different internal parts of lpdoc are their connections, which can be useful if new capabilities need to be added to the system or its libraries are used for other purposes.

Parts of this manual