New patches for pl2texi installed. Note that the meaning of the indexing commands (@concept, @index, @cindex, ...) has changed somewhat, due to user requests:

- @index is now used where a concept or term us >defined< (normally in only one place). It appears in emphasized face.

- @concept (in a similar way to @pred, etc.) should be used in the places where the concept is used and an index entry (and/or hyperlink to the definition) is desired.

List of changes:

:- comment(version(1*8+20,1999/04/07,21:11*14+'MEST'), "Adobe @tt{pdf} format now supported as a valid target. Unfortunately, embedded @tt{.eps} figures are not supported at this time in pdf output. (Manuel Hermenegildo)").

:- comment(version(1*8+19,1999/04/07,21:06*55+'MEST'), "A single @tt{.texi} file is now constructed (by grouping the @tt{.texic} files generated for all components) in which the references and menus are resolved. This has the advantage that the process of resolving references and menus has now been sped up very significantly. Also, @tt{texi} is now a valid target (perhaps useful for distributions). (Manuel Hermenegildo)").

:- comment(version(1*8+18,1999/04/07,13:58*05+'MEST'), "Generated files now have @tt{texic} suffix, since they are a @em{texinfo component}. (Manuel Hermenegildo)").

:- comment(version(1*8+17,1999/04/05,23:24*04+'MEST'), "Now requesting building a .ps only does not leave a .dvi behind (useful for distributions). (Manuel Hermenegildo)").

:- comment(version(1*8+16,1999/03/31,19:47*19+'MEST'), "Added explanation for new cartouche and footnote commands. (Manuel Hermenegildo)").

:- comment(version(1*8+15,1999/03/31,19:34*54+'MEST'), "@@begin@{cartouche@} and @@end@{cartouche@} commands now supported. (Manuel Hermenegildo)").

:- comment(version(1*8+14,1999/03/31,19:04*46+'MEST'), "@@foonote command now supported. (Manuel Hermenegildo)").

:- comment(version(1*8+13,1999/03/31,12:40*04+'CEST'), "The second argument of @tt{:- comment(hide,...).} and @tt{:- comment(doinclude,...).} declarations can now be a list of predicate names. (Manuel Hermenegildo)").

:- comment(version(1*8+12,1999/03/31,10:13*44+'CEST'), "Old @em{usage} index is now called, more appropriately, @em{global} index. Correspondingly, changed things so that now every definition goes to the global index in addition to its definitional index. (Manuel Hermenegildo)").

:- comment(version(1*8+11,1999/03/30,23:52*01+'MEST'), "The individual descriptions of predicates, props, regtypes, declarations, etc. now appear as entries in the table of contents of the printed manual. This can be shut off with the @tt{-shorttoc} option. (Manuel Hermenegildo)").

:- comment(version(1*8+10,1999/03/30,23:01*44+'MEST'), "Improved the concept index of the documentation. (Manuel Hermenegildo)").

:- comment(version(1*8+9,1999/03/30,22:15*07+'MEST'), "New definitions of @@index, @@cindex, and @@concept commands. (Manuel Hermenegildo)").

:- comment(version(1*8+8,1999/03/30,22:13*32+'MEST'), "Implemented support for the new definitions of @@index, @@cindex, @@concept. (Manuel Hermenegildo)").