JaKarTadoc: a The JaKarTa documentation tool.

JaKarTadoc is a documentation tool for JaKarTa. The task of JaKarTadoc is:

• to produce a nice LATEX and/or HTML document from the system JaKarTa sources, readable for a human and not only for the system;
• to help the user navigate in his own (or third-party) sources. 

JaKarTadoc is based on coqdoc, the documentation tool for the Coq proof system,

Downloads:

• JaKarTadoc;

Translate