# HG changeset patch
# User wenzelm
# Date 1157486696 -7200
# Node ID de1bd9717d6ce045aaf719a998c9070723c0300d
# Parent  e623b0e3054197b5641909e26a82b47b229c10d7
added \isactrlvec;

diff -r e623b0e30541 -r de1bd9717d6c doc-src/IsarImplementation/style.sty
--- a/doc-src/IsarImplementation/style.sty	Tue Sep 05 16:42:32 2006 +0200
+++ b/doc-src/IsarImplementation/style.sty	Tue Sep 05 22:04:56 2006 +0200
@@ -30,6 +30,7 @@
 \newcommand{\Or}{\mathrel{\;|\;}}
 
 \renewcommand{\vec}[1]{\overline{#1}}
+\newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}}
 \renewcommand{\phi}{\varphi}
 
 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}