Sender: salvador AT delorie DOT com Message-ID: <3A393885.E612CFB2@inti.gov.ar> Date: Thu, 14 Dec 2000 18:15:49 -0300 From: SET X-Mailer: Mozilla 4.76 [en] (X11; U; Linux 2.2.17-ide i686) X-Accept-Language: en MIME-Version: 1.0 To: djgpp AT delorie DOT com Subject: Re: TEX again and about SET-Edit References: <3a3662b5$0$9822 AT SSP1NO25 DOT highway DOT telekom DOT at> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Reply-To: djgpp AT delorie DOT com Florian X wrote: > > I hope this is my last question :) > > Why is there a *.texinfo format? > I read, and it seems, that texi2dvi changes all @ with \ so that (la)tex can > understand it. > So, why it texinfo used, and not normal tex? > > Also if I want to use colors, I have to use @iftex. > or it I want include math things... Hans and Eli already explained it. > Question: In SET-Edit SET wrote a inf file (I think also translated from > texinfo) which uses colors!!! Green and white!! It is only for SET-Editor or > it is also a feature from the INF-format? Do you mean the light blue/white/light blue bars in the "(setedit)About the Author" (file)Node? If yes then the answer is: you can do it only for setedit/infview/RHIDE. What I display is the flag of my country (Argentina). As I wanted to do it I specially added code to my reader to interpret an special escape sequence in the info files. No other reader can display it. That's fine for me because the documentation of setedit is supposed to be read from setedit ;-). The sequence is "\e0x" where x is the color encoded in the VGA format. I also discard it for printed output formats (postscript), but I created macros to generate it in the HTML version too ;-) SET -- Salvador Eduardo Tropea (SET). (Electronics Engineer) Visit my home page: http://welcome.to/SetSoft or http://www.geocities.com/SiliconValley/Vista/6552/ Alternative e-mail: set-soft AT bigfoot DOT com set AT computer DOT org set AT ieee DOT org Address: Curapaligue 2124, Caseros, 3 de Febrero Buenos Aires, (1678), ARGENTINA Phone: +(5411) 4759 0013