Ciao-users September 1998

ciao-users@cliplab.org

1 participants
4 discussions

new commands in pl2texi
by Manuel Hermenegildo 24 Sep '98

24 Sep '98

I added a couple of new commands to pl2texi: @sp{N} -- Inserts N blank lines (useful to force vertical spacing). @key{Key} -- Used to document key sequences (@key{SPC} appears in a little box that looks like a keyboard key). 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 -----------------------------------------------------------------------------

1 0

Change in pl2texi
by Manuel Hermenegildo 22 Sep '98

22 Sep '98

I have made a small change in pl2texi to add the command @index{...text..} This is the same as @concept{...text..}, except that it prints in normal font. Thus, @concept, with its emphasized font, can be used for the first (definitional) appearance of a concept, and @index for other appearances. 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 -----------------------------------------------------------------------------

1 0

** pl2texi 1.6 **
by Manuel Hermenegildo 08 Sep '98

08 Sep '98

I have installed a new version of pl2texi (1.6). As always, in order to use it, make a link to the Makefile in /home/clip/lib/pl2texi-1.6, and use the SETTINGS file in there. The most important changes since the previous major version are: - The main change is that I have added support for inserting images (.eps files) in text via @@image command, email addresses via @email command, and url references via @uref command. This should eliminate the last hurdles to writing really nice manuals... - Unix 'man' output much improved. Also, it now includes a usage section. The correspoding text must be given in a string contained in the first argument of a fact of the usage_message/1 predicate which appears in the program. Also, formatting of 'man' pages has been greatly improved. - A new 'ascii' format is now supported: a simple minded ascii manual (basically, an info file without pointers). 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 -----------------------------------------------------------------------------

1 0

** pl2texi 1.5 **
by Manuel Hermenegildo 04 Sep '98

04 Sep '98

I have installed a new version of pl2texi (1.5#10). I have tested it a bit but please let me know if you fidn any problems. As always, in order to use it, make a link to the Makefile in /home/clip/lib/pl2texi-1.5. The most improtant changes since the previous major version are: - pl2texi now supports an @cite command (YES!). It automatically accesses the bib entries in .bib files (using bibtex) and produces a 'References' appendix. @cite can be used in the text strings exactly as \cite in LaTeX. The set of bib files to be used is given in the SETTINGS file (see /home/clip/lib/pl2texi-1.5/SETTINGS). - Definimng the type of version maintenance that should be performed by the @apl{emacs} ciao.el mode (i.e., whether version numbers are in a given directory or in the file itself) is controlled now via a standard @decl{commment/2} declaration. You should now write a declaration such as: :- comment(version_maintenance,dir('../version')). to state that control info is kept in directory @tt{../version}. This has the advantage that it is shorter than the previous solution and that pl2texi can read this info easily. Using this guarantees that the version numbers of the manuals always concide with those of the software. - Generation of indices of manuals (.htmlbullet files): if several manuals are installed in the same directory, an index to then is now generated at the beginning of the html cover page describing the directory (see, for example http://www.clip.dia.fi.upm.es/Software/Beta/Ciao/doc, user:clipsoft, passwd:clipfriends) - The set of paths defined in SETTINGS for finding the source files are now also used to find 'included' files. As a result, full path is not needed any more in, e.g, @@include command. - Unix 'man' output now includes usage if defined in a string contained in a fact of the @pred{usage_message/1} predicate. Also, formatting of 'man' pages greatly improved. - Added @ref command to refer to sections, nodes, etc. Other minor changes: - Improved handling of files which are not found (does not abort unless necessary). - Faster parsing of documentation strings. - Improved treatment of newlines (important for man format). - Makefile can now use printf instead of echo for portability (unfortunately, different versions of echo behave very differently). - Multiple .texi files (for indices, etc.) are now generated in all cases. This is because the references must be in an independent file and emacs cannot generate menus and pointers automatically unless the include structure is flat, i.e., all chapters an unnumbered with nodes are in separate files (!). -- ----------------------------------------------------------------------------- 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 September 1998