14 Jul
1998
14 Jul
'98
2:41 p.m.
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
-----------------------------------------------------------------------------