mailing-list for TeXmacs Users

Text archives Help


\session command missing


Chronological Thread 
  • From: Ralf HEMMECKE <address@hidden>
  • To: Texmacs-Users <address@hidden>
  • Subject: \session command missing
  • Date: Mon, 16 Feb 2004 20:06:30 +0100

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



  • \session command missing, Ralf HEMMECKE, 02/16/2004

Archive powered by MHonArc 2.6.19.

Top of page