Chronological Thread 

< Chronological >      < Thread >

---

Dear all,

When I attempt to load the file 0.tex (created with Texmacs and included as an attachment) Texmacs asks me if I wish to load the more recent autosave file. When I say no, Texmacs freezes for a time and then exits. Can anyone figure out why?

Eric M.
\documentclass{letter}
\usepackage{amsmath}

%%%%%%%%%% Start TeXmacs macros
\newcommand{\tmem}[1]{{\em #1\/}}
\newcommand{\tmop}[1]{\ensuremath{\operatorname{#1}}}
\newcommand{\tmstrong}[1]{\textbf{#1}}
\newcommand{\tmtextbf}[1]{{\bfseries{#1}}}
\newcommand{\tmtextit}[1]{{\itshape{#1}}}
%%%%%%%%%% End TeXmacs macros

\newcommand{\tmem}[1]{\tmtextit{#1}}
\newcommand{\tmop}[1]{\ensuremath{\mathrm{#1}}}
\newcommand{\tmstrong}[1]{\tmtextbf{#1}}
\newcommand{\tmtextbf}[1]{\tmtextbf{#1}}
\newcommand{\subsection}{{\macro{{\macro{1}{{\medskip}{\bigskip}

{\noindent}\tmtextbf{{\Large }}}}}}}
\newcommand{\tmop}[1]{\ensuremath{\mathrm{#1}}}

\begin{document}



{\tmstrong{For the record: products}}

The operator , $: (A \rightarrow B) \rightarrow (A \rightarrow C) \rightarrow
(A \rightarrow B \times C)$, is defined by the universal property

$h = f g \hspace{1em} \equiv \hspace{1em} \tmop{outl} \cdot h = f \hspace{1em}
\wedge \hspace{1em} \tmop{outr} \cdot h = g$

We have

$[\tmop{outl} \cdot (f g) \hspace{1em} = \hspace{1em} f]$

{\tmem{Proof}}

\begin{tabular}{ll}
& $\tmop{outl} \cdot (f g)$\\
= & {\hspace{1em}}\{universal property of \}\\
& $f$
\end{tabular}

$[\tmop{outr} \cdot (f g) \hspace{1em} = \hspace{1em} g]$

Proof

\begin{tabular}{ll}
& $\tmop{outr} \cdot (f g)$\\
= & {\hspace{1em}}\{universal property of \}\\
& $g$
\end{tabular}

$[(\tmop{outl} \cdot h) (\tmop{outr} \cdot h) \hspace{1em} = \hspace{1em} h]$

Proof

\end{document}

---

• [TeXmacs] Texmacs crashing when loading a file, Eric, 10/22/2008
  • Re: [TeXmacs] Texmacs crashing when loading a file, Henri Lesourd, 10/22/2008
    • Re: [TeXmacs] Texmacs crashing when loading a file, Martin Costabel, 10/22/2008
      • Re: [TeXmacs] Texmacs crashing when loading a file, Eric, 10/22/2008
        • Re: [TeXmacs] Texmacs crashing when loading a file, Henri Lesourd, 10/22/2008

---

Archive powered by MHonArc 2.6.19.