I have installed a new version of pl2texi (1.3#5):
- Exports are now listed in the chapter header separated by kind
(pred, types, properties, ...).
- The list of other modules used by a module is now separated in the
chapter header into User and System modules (controlled by two sets
of paths in SETTINGS).
- New 'hide' option of comment/2 decl prevents an exported predicate
from being included in the documentation.
:- comment(hide,p/3).
- Documentation of multifiles is now separated in another section of
the module interface description.
Man
--
-----------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
herme(a)cs.utexas.edu | Facultad de Informatica
+34-91-336-7435 (Work) | Universidad Politecnica de Madrid
+34-91-352-4819 or 336-7412 (FAX) | 28660-Boadilla del Monte, MADRID
http://www.clip.dia.fi.upm.es/~herme | SPAIN
-----------------------------------------------------------------------------