mailing-list for TeXmacs Users

[Javier Arántegui <address@hidden>]

El Jueves, 18 de Noviembre de 2004 18:09, Joris van der Hoeven escribió:
> Try
>
>       <extern|f|<quote-arg|t>>
>
> instead of
>
>       <extern|(f t)|<quote-arg|t>>

Brilliant! Now it's working just fine.


> > I don't work with sources. So, how can I find easily mouse-fold in the
> > sources?
>
>       Help -> Search -> Source code
>       mouse-fold return

Oh, that's embarrassingly easy. Do you hear a hum from your screen? It's my 
face turning red ;-)

Javier



-- 

Javier Arántegui
Dept. Tecnologia de Alimentos / Dept. of Food Technology
Universitat de Lleida / University of Lleida (Spain)
         
Tel. +34 973702595
Fax  +34 973702596
http://www.tecal.udl.es