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)").
--
-----------------------------------------------------------------------------
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
-----------------------------------------------------------------------------
