I have installed a new version of pl2texi (1.7#5). As always, in order to use it, make a link to the Makefile in /home/clip/lib/pl2texi-1.7, and use the SETTINGS file in there.

The main change for 1.7 is that it has been compiled with ciao-0.8 and therefore it uses the new c_itf and assertion normalizing library (which leaves .asr files behind as caches for normalized assertions). Otherwise, it should behave as 1.6 (well, the new assertion normalizer should make it faster). Also, operation is now quiet (very few messages are generated besides error messages) unless the -v option is selected. 'gmake dvi', 'gmake ps', are now sufficient (i.e., it is no longer needed to type the name of the main file as in 'gmake main.dvi', 'gmake main.dvi') in order to generate a manual in a given format.

I am enclosing the list of changes since 1.6.

Man

:- comment(version(1*7+5,1998/12/04,19:15*51+'MET'), "Now @tt{-v} option allows quieter operation when not debugging. (Manuel Hermenegildo)").

:- comment(version(1*7+3,1998/12/04,09:21*56+'MET'), "Added special handling of regtype and generalized it to handle some props specially if there is a certain comp property present. (Manuel Hermenegildo)").

:- comment(version(1*7+2,1998/12/03,22:33*39+'MET'), "Bug in text generation for trusts fixed. (Manuel Hermenegildo)").

:- comment(version(1*7+1,1998/12/03,22:33*03+'MET'), "Assertion handling and c_itf facts adapted to CIAO 0.8. (Manuel Hermenegildo)").

:- comment(version(1*7+0,1998/12/02,17:43*50+'MET'), "Major port to use the ciao 0.8 modular assertion processing library. (Manuel Hermenegildo)").

:- comment(version(1*6+22,1998/09/25,17:14*50+'MEST'), "Formatting commands can now be nested. (Manuel Hermenegildo)").

:- comment(version(1*6+10,1998/09/22,14:23*24+'MEST'), "Repaired error handling of files not found and failing commands. (Manuel Hermenegildo)").

:- comment(version(1*6+9,1998/09/16,12:14*01+'MEST'), "Added @tt{DOTcshrc} files to library. (Manuel Hermenegildo)").

:- comment(version(1*6+8,1998/09/16,12:13*31+'MEST'), "Updated documentation. Separated intro stuff into chapters: more logical, faster compilation. (Manuel Hermenegildo)").

:- comment(version(1*6+7,1998/09/15,19:17*53+'MEST'), "Nicely formatted @tt{README} and @tt{INSTALL} files now generated automatically on installation. (Manuel Hermenegildo)").

:- comment(version(1*6+4,1998/09/11,10:28*34+'MEST'), "Trouble shooting section added to documentation. (Manuel Hermenegildo)").

:- comment(version(1*6+6,1998/09/11,17:52*55+'MEST'), "'gmake dvi', 'gmake ps', are now sufficient (i.e., it is no longer needed to type the name of the main file as in 'gmake main.dvi', 'gmake main.dvi') in order to generate a manual in a given format. (Manuel Hermenegildo)").

:- comment(version(1*6+5,1998/09/11,17:19*51+'MEST'), "Added new '-nopropseln' option: do not put properties in separate lines. (Manuel Hermenegildo)").

:- comment(version(1*6+3,1998/09/09,19:07*29+'MEST'), "Atoms which are defined as operators are now correctly indexed (without parenthesis). (Manuel Hermenegildo)").

:- comment(version(1*6+2,1998/09/09,19:05*53+'MEST'), "Improved @@comment command: other commands can be nested within it and the comment extends until the matching closing brace (@}). (Manuel Hermenegildo)").