Table of Contents
- Introduction
- PART I - LPdoc Reference Manual
- Generating Installing and Accessing Manuals
- Documentation Mark-up Language and Declarations
- The Ciao assertion package
- Types and properties related to assertions
- Declaring regular types
- Basic data types and properties
- Properties which are native to analyzers
- Meta-properties
- An Example - Documenting a Library Module
- Auto Documenter Output for the Example Module
- Run-time checking of assertions
- Unit Testing Library
- Installing lpdoc
- PART II - LPdoc Internals Manual
- Documentation Generation Library
- Internal State for Documentation Generation
- Documentation Abstract Syntax Tree
- Handling the Document Structure
- Access to Default Settings
- LPdoc Backends
- Filesystem Abstraction
- Indexing Commands (Definition and Formatting)
- Database of Documentation References
- Error Messages
- Resolution of Bibliographical References
- Auxiliary Definitions
- Image Handling
