
diff -r adac06d6c4df -r 8f2eb202ae94 doc-src/IsarImplementation/style.sty
--- a/doc-src/IsarImplementation/style.sty	Sat Feb 21 18:05:34 2009 +0100
+++ b/doc-src/IsarImplementation/style.sty	Sat Feb 21 18:06:17 2009 +0100
@@ -17,7 +17,7 @@
 %% math
 \newcommand{\text}[1]{\mbox{#1}}
 \newcommand{\isasymvartheta}{\isamath{\theta}}
-\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
+\newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}}
 \newcommand{\isactrlBG}{\isacharbackquoteopen}
 \newcommand{\isactrlEN}{\isacharbackquoteclose}
 




