| author | wenzelm |
| Tue, 05 Sep 2006 22:04:56 +0200 | |
| changeset 20478 | de1bd9717d6c |
| parent 20477 | e623b0e30541 |
| child 20479 | 1e496953ed7d |
--- a/doc-src/IsarImplementation/style.sty Tue Sep 05 16:42:32 2006 +0200 +++ b/doc-src/IsarImplementation/style.sty Tue Sep 05 22:04:56 2006 +0200 @@ -30,6 +30,7 @@ \newcommand{\Or}{\mathrel{\;|\;}} \renewcommand{\vec}[1]{\overline{#1}} +\newcommand{\isactrlvec}[1]{\emph{$\vec{#1}$}} \renewcommand{\phi}{\varphi} \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}