diff -r 928c015eb03e -r 17ea9ad46257 document/isabelle.sty
--- a/document/isabelle.sty	Sat Dec 14 13:07:41 2013 +1100
+++ b/document/isabelle.sty	Thu Dec 25 15:54:08 2014 +0000
@@ -97,6 +97,8 @@
 \chardef\isachartilde=`\~%
 \def\isacharverbatimopen{\isacharbraceleft\isacharasterisk}%
 \def\isacharverbatimclose{\isacharasterisk\isacharbraceright}%
+\def\isacartoucheopen{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}%
+\def\isacartoucheclose{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}%
 }
 
 
@@ -195,6 +197,12 @@
 \chardef\isacharbackquoteclose=`\`%
 }
 
+\newcommand{\isabellestyleliteralunderscore}{%
+\isabellestyleliteral%
+\def\isacharunderscore{\textunderscore}%
+\def\isacharunderscorekeyword{\textunderscore}%
+}
+
 \newcommand{\isabellestylesl}{%
 \isabellestyleit%
 \def\isastyle{\small\sl}%