commit fa978e13658f76be109243224f7491550db74240
Author: John MacFarlane <fiddlosopher@gmail.com>
Date:   Tue May 7 20:22:09 2013 -0700

    Use latest highlighting-kate and texmath.
    
    Closes #849.

diff --git a/pandoc.cabal b/pandoc.cabal
index 5f290a9..ea9e850 100644
--- a/pandoc.cabal
+++ b/pandoc.cabal
@@ -241,7 +241,7 @@ Library
                  old-locale >= 1 && < 1.1,
                  time >= 1.2 && < 1.5,
                  HTTP >= 4000.0.5 && < 4000.3,
-                 texmath >= 0.6.1.3 && < 0.7,
+                 texmath >= 0.6.1.5 && < 0.7,
                  xml >= 1.3.12 && < 1.4,
                  random >= 1 && < 1.1,
                  extensible-exceptions >= 0.1 && < 0.2,
@@ -251,7 +251,7 @@ Library
                  tagsoup >= 0.12.5 && < 0.13,
                  base64-bytestring >= 0.1 && < 1.1,
                  zlib >= 0.5 && < 0.6,
-                 highlighting-kate >= 0.5.3.7 && < 0.6,
+                 highlighting-kate >= 0.5.3.9 && < 0.6,
                  data-default >= 0.4 && < 0.6,
                  temporary >= 1.1 && < 1.2,
                  blaze-html >= 0.5 && < 0.7,
diff --git a/tests/lhs-test.latex b/tests/lhs-test.latex
index 16e9a79..2a5025a 100644
--- a/tests/lhs-test.latex
+++ b/tests/lhs-test.latex
@@ -22,6 +22,7 @@
 \IfFileExists{microtype.sty}{\usepackage{microtype}}{}
 \usepackage{color}
 \usepackage{fancyvrb}
+\newcommand{\VerbBar}{|}
 \DefineShortVerb[commandchars=\\\{\}]{\|}
 \DefineVerbatimEnvironment{Highlighting}{Verbatim}{commandchars=\\\{\}}
 % Add ',fontsize=\small' for more characters per line