A new version of pl2texi (1.4) is available:
- Included files (@include and @includeverbatim) are now located using
the same library paths as all other files (no full paths are needed
any more).
- Supports the recent changes in assertion format (mainly, including #
as comment separator).
- Used modules are now separated in documentation (in the interface
description) by type (user, system, engine...).
- Include 'hide' option in comments to prevent an exported predicate
from being documented. This is useful for example for avoiding
mentioning in the documentation multifile predicates which are not
intended to be modified by the user.
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
-----------------------------------------------------------------------------