Ciao-users March 1999

ciao-users@cliplab.org

1 participants
2 discussions

New version of pl2texi (patches)
by Manuel Hermenegildo 30 Mar '99

30 Mar '99

Some new changes to version 1.8: :- comment(version(1*8+7,1999/03/30,20:08*29+'MEST'), "Added support for @em{part} filetype. (Manuel Hermenegildo)"). :- comment(version(1*8+6,1999/03/30,20:06*04+'MEST'), "Added 'cartouche' around usage and interface. (Manuel Hermenegildo)"). :- comment(version(1*8+5,1999/03/30,19:28*51+'CEST'), "Minor formatting problem when no documentation nor definition found for a regtype fixed. (Manuel Hermenegildo)"). :- comment(version(1*8+4,1999/03/30,18:09*54+'CEST'), "Added a new filetype: @tt{part}. This allows splitting large documents into parts, each of which groups a series of chapters. (Manuel Hermenegildo)"). :- comment(version(1*8+3,1999/03/26,20:00*47+'MET'), "Changed @tt{Makefile.skel} so that now typing just @tt{gmake} does nothing. In order to do something at least one target should be specified. This was necessary so that recursive invocations with empty arguments did nothing. (Manuel Hermenegildo)"). :- comment(version(1*8+2,1999/03/26,18:15*16+'MET'), "Now, declarations are always documented as long as there is a @tt{decl} assertion. Also, they are now documented in a separate section. (Manuel Hermenegildo)"). :- comment(version(1*8+1,1999/03/25,10:12*49+'MET'), "New @tt{gmake distclean}, intended for software distributions. Leaves the generated documents and eliminates @em{all} intermediate files (including @tt{.texi} files). (Manuel Hermenegildo)"). -- ----------------------------------------------------------------------------- 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 -----------------------------------------------------------------------------

1 0

*** New version (1.8) of pl2texi available ***
by Manuel Hermenegildo 24 Mar '99

24 Mar '99

A new version of pl2texi (the CIAO auto documenter) has been installed at the clip lab and also on the WWW. This version completes the port to use the ciao 0.8 modular assertion processing library. In addition, it includes the following improvements: - Now, if the name of a file being documented ends in @tt{_doc}, the @tt{_doc} part is left out when referring to the file in the documentation (useful if one would like to place the documentation declarations in different file). - It is now possible to declare (via a @dec{comment/2} declaration) the intended use of a file which is not a module (i.e. a package, user, or include file), which results in correct documentation of operator definitions, new declarations, etc. The declaration is only needed for 'user' files (i.e., files to be loaded with @pred{ensure_loaded/1}). - Separated generation of the manuals from their installation. I.e., @tt{gmake install} now does not force a @tt{gmake all}, which has to be done by hand. This was necessary to ensure correct installation of distributed manuals, even if modification dates are changed during installation. Previously, in some cases generation was triggered unnecessarily. - New @tt{-v} option allows using quieter by default operation when not debugging. - New option @tt{-propmods} makes the name of the module in which a property is defined appear in front of the property in the places where the property is used. - New option @tt{-noisoline} makes the textual explanation of the @prop{iso/1} property not appear in the description of the usage (but the @iso symbol does appear) - Two new options, '-nosysmods' and '-noengmods', selectively avoid listing the system or engine libraries used. - If there is no declaration for a predicate, now a line is output with the name and arity and a simple comment saying that there is no further documentation available (this has the great advantage that then it goes in the index, and, for example in ciao, they get added to completion commands!). - Now, if a property or regtype declaration has no textual comment, the actual definition is given (first level only) in the place where it is documented, and a simple generic message where it is used. - Added @@noindent and @@iso commands. - Nicer spacing now when printing predicate names which are operators, as well as modes, etc. - Reporting of versions in libraries has been improved: now both the global version and the last version in which the library itself was changed are reported. - Exported new declarations also documented now for include-type files. - A module is now documented even if exports nothing at all. - Engine modules used now documented even if no other modules used (was a reported bug). - Fixed indexing of names containing @@ etc. for newer versions of texinfo. - Tabs in verbatim modes now converted to a number of spaces (8). Not perfect, but produces better output than leaving the tabs in. - Tex is now run in 'nonstopmode' which means it will typically not stop if there are minor errors (but some errors may go unnoticed...). - The full path of the version maintenance directory is now computed (correctly) using the directory of the @tt{.pl} file being documented as base. - Notices for missing subtitle, copyright, and summary now only given from main file and not for components. - Added special handling of regtype and generalized it to handle some props specially if there is a certain comp property present. -- ----------------------------------------------------------------------------- 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 -----------------------------------------------------------------------------

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users March 1999