mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

address@hidden wrote:

1) Location and naming of the style files
 
> I created a blank document and selected
> Document->style->source as intructed
> in Help->Manual->Writing you own style
> files.
> I saved the file under $HOME/.TeXmacs/packages
> and decided to name it "learning.tp"---My inner
> guts told me that I had to give it a "tp" extension
> so I did.  The instructions don't mention this.
> The tutorial then mentions that the package
> should automatically appear under Document->Use Package.
> Well it does not
>
In order to appear under Document->Use Package, your
style file should :

--> Be located under $HOME/.TeXmacs/packages ;

--> Have the extension '.ts' (and not '.tp' or
    something else) ;

2) Documentation
    
> The instructinos then tell me to type "hi" and hit enter.
> I do this and nothing happens.
>
In effect, the documentation with this example of the "hi"
macro in "Help->Manual->Writing your own style files" appears
to be a little bit strange. There is a simpler documentation
with only the essential things, that you can find at :
<<
http://www.texmacs.org/Tutorial/
>>

>The instructions don't help any---they are outdated or
>incorrect or incomplete.
>
Some parts of the documentation are, in effect, outdated.
The software grows :-) faster than the documentation :(,
this is a well-known problem...

3) Inputting macros

> I also tried typing "\hi" and <ENTER> and still no luck.
>
What you say is surprising, cause usually, one cannot type a
string like "\hi" in TeXmacs, precisely because the "\" character
is the reserved character that is used to input new macros.

More precisely, when you type "\" in TeXmacs, the following
text should appear :

  <\>

and then you can input the name of your macro, e.g. :

  <\hi>

and then you hit <ENTER>, and you should have (if your style
file is appropriately located, named, etc.) :

  Hello world

(provided that the 'hi' macro is defined as follows :
  <assign|hi|<macro|Hello world>>
)

Regards, Henri