Ciao-users

ciao-users@cliplab.org

948 discussions

new version of pl2texi (1.7#5)
by Manuel Hermenegildo 13 Dec '98

13 Dec '98

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 -----------------------------------------------------------------------------

1 0

Using PiLLoW
by Alexander Serebrenik 05 Oct '98

05 Oct '98

Dear PiLLoW developers ! I've a small question - how can i get a data stored as a file through a form using PiLLoW ? ( I wrote get_form_input(Info), get_form_value(Info,myfile,MyFile), ouput_html([ cgi_reply, start, start_form, input(file,[name=myfile]), end_form, --, end]). in a way similar to your "richer form generator + handler". The www-page produced allows me to browse the file i'd like to submit and to submit it, but the value in MyFile is a name of the remote file and not its connatinment i'm interested in ! ) Best regards, Alexander

2 1

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

New version of pl2texi
by Manuel Hermenegildo 05 Aug '98

05 Aug '98

A new version of pl2texi (1.4) is available: - Included files (@include and @includeverbatim) are now located using the same library paths as all other files (no full paths are needed any more). - Supports the recent changes in assertion format (mainly, including # as comment separator). - Used modules are now separated in documentation (in the interface description) by type (user, system, engine...). - Include 'hide' option in comments to prevent an exported predicate from being documented. This is useful for example for avoiding mentioning in the documentation multifile predicates which are not intended to be modified by the user. 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

New version of pl2texi
by Manuel Hermenegildo 14 Jul '98

14 Jul '98

I have installed a new version of pl2texi (1.3#5): - Exports are now listed in the chapter header separated by kind (pred, types, properties, ...). - The list of other modules used by a module is now separated in the chapter header into User and System modules (controlled by two sets of paths in SETTINGS). - New 'hide' option of comment/2 decl prevents an exported predicate from being included in the documentation. :- comment(hide,p/3). - Documentation of multifiles is now separated in another section of the module interface description. 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

Jump to page:

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