Document: hugs
Title: The Hugs 98 Documentation
Author: Mark P. Jones et al.
Abstract: This document describes the Hugs 98 system.
Section: programming

Format: HTML
Index: /usr/share/doc/hugs-doc/index.html
Files: /usr/share/doc/hugs-doc/*.html
