| changeset 29776 | 8f2eb202ae94 |
| parent 29763 | c0f2c8424848 |
| child 30120 | aaa4667285c8 |
--- 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}