# HG changeset patch
# User wenzelm
# Date 1234384752 -3600
# Node ID 03916d2d16d33aa42e00373f502bea2a96f3e976
# Parent  48634259d41057ea54d127252e98526ddbc81459
some more macros;

diff -r 48634259d410 -r 03916d2d16d3 doc-src/IsarRef/style.sty
--- a/doc-src/IsarRef/style.sty	Wed Feb 11 21:38:28 2009 +0100
+++ b/doc-src/IsarRef/style.sty	Wed Feb 11 21:39:12 2009 +0100
@@ -1,6 +1,3 @@
-
-%% $Id$
-
 %% toc
 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
@@ -20,10 +17,15 @@
 \newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{ll}}{\end{tabular}\medskip\endgroup}
 \newcommand{\indexml}[1]{\index{#1 (ML value)|bold}}
 
+%% Isar
+\newcommand{\isasymBBAR}{{\,\newdimen{\tmpheight}\settoheight\tmpheight{\isacharbar}\rule{1pt}{\tmpheight}\,}}
+
 %% math
+\newcommand{\isasymstrut}{\isamath{\mathstrut}}
+\newcommand{\isasymvartheta}{\isamath{\,\theta}}
 \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
 \renewcommand{\isadigit}[1]{\isamath{#1}}
-
+\newcommand{\text}[1]{\mbox{#1}}
 
 %% global style options
 \pagestyle{headings}