PART I - LPdoc Reference Manual

Subparts

• 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