mailing-list for TeXmacs Users

[Alfe <address@hidden>]

Hi, Kostas ...

Kostas Oikonomou wrote:

> ("S" "Make Ÿ" (emulate-keyboard "S-F5 p")) ?

Whoa!  This came in here as "make Ÿ" (i. e. "make Y" with diaresis above the 
Y).  Did you mean this?

> > But this is not what you want to modify. 
>
> I don't understand why not.  Would you mind explaining further?

You should not want to modify the way TeXmacs stores its documents 
(internally and in .tm-files) because other code (parts of TeXmacs or tools) 
might depend on the current specification.

Instead you should modify the code which converts TeXmacs's internal format 
into LaTeX, i. e. the LaTeX export functionality.

You still seem to think that you might be able to use the .tm file as input 
for LaTeX which is not the case, even if a first glance might make one think 
so.

> and the hex A7 is the octal 237.

0xA7 = 167 (decimal)
0237 = 159 (decimal)

=> hex A7 is not octal 237.  Don't know though what this means for your 
further argumentation :-}

Alfe

--
-------------------------------------------------------------------------
Alexander Fetke
Software Engineer

Testing Technologies IST GmbH
Michaelkirchstraße 17/18
10179 Berlin, Germany

Phone     +49 30 726 19 19 24        Email     address@hidden
Fax       +49 30 726 19 19 20        Internet  www.testingtech.com
-------------------------------------------------------------------------

UPCOMING EVENTS!

June 3-6, TTCN-3 User Conference (T3UC), Madrid (Spain), Booth #T1
http://www.mtp.es/TTCN3UC2008/home.html

June 9-12, ECMDA 2008 Conference, Berlin (Germany)
Model Driven Architecture, Foundations & Applications
http://www.fokus.fraunhofer.de/go/ecmda2008/

-------------------------------------------------------------------------
Geschäftsführung: Theofanis Vassiliou-Gioles, Stephan Pietsch
Handelsregister HRB 77805, Amtsgericht Charlottenburg
Ust ID Nr.: DE 813 143 070

This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.