mailing-list for TeXmacs Users

[Ralf HEMMECKE <address@hidden>]

Is there a definition for the \session command that is produced by the 
TeXmacs LaTeX export? (See attachment)

Ralf Hemmecke
<TeXmacs|1.0.3.2>

<style|<tuple|generic|axiom>>

<\body>
  Hallo TeXmacs,

  I would like to export this file to <LaTeX> and than latex it.
  Unfortunately, latex complains about a missing <with|color|red|session>
  command. I was also unable to find a definition of it in
  misc/latex/TeXmacs.sty. Where should I look for it?

  <with|prog-language|axiom|prog-session|default|<\session>
    <\input|axiom] >
      1+1
    </input>

    <\output>
      <with|mode|math|math-display|true|2<leqno>(15)>

      <axiomtype|PositiveInteger >
    </output>

    <\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
      2+x
    </input>

    <\output>
      <with|mode|math|math-display|true|x+2<leqno>(14)>

      <axiomtype|Polynomial Integer >
    </output>

    <\input|<with|color|red|<with|mode|math|\<rightarrow\>> >>
      \;
    </input>
  </session>>

  Ralf Hemmecke
</body>

<\initial>
  <\collection>
    <associate|page-even|30mm>
    <associate|page-reduce-bot|15mm>
    <associate|page-reduce-right|25mm>
    <associate|page-reduce-left|25mm>
    <associate|page-type|a4>
    <associate|page-top|30mm>
    <associate|page-right|30mm>
    <associate|par-width|150mm>
    <associate|page-odd|30mm>
    <associate|page-bot|30mm>
    <associate|language|english>
    <associate|page-reduce-top|15mm>
  </collection>
</initial>

Attachment: missing.tex
Description: TeX document