replaced \overline by \vec;
authorwenzelm
Sat Feb 21 18:06:17 2009 +0100 (2009-02-21 ago)
changeset 297768f2eb202ae94
parent 29775 adac06d6c4df
child 29777 f3284860004c
replaced \overline by \vec;
doc-src/IsarImplementation/style.sty
     1.1 --- a/doc-src/IsarImplementation/style.sty	Sat Feb 21 18:05:34 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Sat Feb 21 18:06:17 2009 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4  %% math
     1.5  \newcommand{\text}[1]{\mbox{#1}}
     1.6  \newcommand{\isasymvartheta}{\isamath{\theta}}
     1.7 -\newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
     1.8 +\newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}}
     1.9  \newcommand{\isactrlBG}{\isacharbackquoteopen}
    1.10  \newcommand{\isactrlEN}{\isacharbackquoteclose}
    1.11