# HG changeset patch
# User wenzelm
# Date 1235235977 -3600
# Node ID 8f2eb202ae94e1f44565d439936edc8201659b46
# Parent  adac06d6c4df95a2cc5e7868e6c03aab26de903d
replaced \overline by \vec;

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}