Documentation for Jinni File: jds.pro


General Information:
This file defines the style of the non-SICStus-like documentation. It is the ACTIVE style file which is denoted by declaring it as a module of name jds which stands for JinniDocStyle.

Authored by:
Rules:
Rule Details:

JinniDoc © 2003-2005 Chico Toepfer