Use latest highlighting-kate and texmath.

Closes #849.
This commit is contained in:
John MacFarlane 2013-05-07 20:22:09 -07:00
parent 816a5540f4
commit fa978e1365
2 changed files with 3 additions and 2 deletions

View file

@ -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,

View file

@ -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