# HG changeset patch
# User wenzelm
# Date 933343070 -7200
# Node ID 1af4c1f48368e71de1ee34ca1de6c61c5f54b421
# Parent  0a17c2a934542fe05a2851c77f0e6c54b3fd993f
added \text;

diff -r 0a17c2a93454 -r 1af4c1f48368 doc-src/iman.sty
--- a/doc-src/iman.sty	Fri Jul 30 15:57:27 1999 +0200
+++ b/doc-src/iman.sty	Fri Jul 30 15:57:50 1999 +0200
@@ -112,6 +112,7 @@
 \newcommand\List[1]{\lbrakk#1\rbrakk}  %was \obj
 \newcommand\vpile[1]{\begin{array}{c}#1\end{array}}
 \newenvironment{matharray}[1]{\[\begin{array}{#1}}{\end{array}\]}
+\newcommand{\text}[1]{\mbox{#1}}
 
 \let\int=\cap
 \let\un=\cup