added \isactrlvec;
authorwenzelm
Tue Sep 05 22:04:56 2006 +0200 (2006-09-05 ago)
changeset 20478de1bd9717d6c
parent 20477 e623b0e30541
child 20479 1e496953ed7d
added \isactrlvec;
doc-src/IsarImplementation/style.sty
     1.1 --- a/doc-src/IsarImplementation/style.sty	Tue Sep 05 16:42:32 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Tue Sep 05 22:04:56 2006 +0200
     1.3 @@ -30,6 +30,7 @@
     1.4  \newcommand{\Or}{\mathrel{\;|\;}}
     1.5  
     1.6  \renewcommand{\vec}[1]{\overline{#1}}
     1.7 +\newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}}
     1.8  \renewcommand{\phi}{\varphi}
     1.9  
    1.10  \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}