doc-src/IsarImplementation/style.sty
changeset 29776 8f2eb202ae94
parent 29763 c0f2c8424848
child 30120 aaa4667285c8
     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