From 9d781b145449933369a02145eeb18cc2857480ed Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 23 Dec 2016 17:31:10 -0700 Subject: Updates to use skylighting rather than highlighting-kate. So far this just reproduces capacity. Later we'll be able to add features like warning messages, dynamic loading of xml syntax definitions, and dynamic loading of themes. --- stack.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'stack.yaml') diff --git a/stack.yaml b/stack.yaml index b3fac5247..b7cf3f51a 100644 --- a/stack.yaml +++ b/stack.yaml @@ -11,4 +11,5 @@ extra-deps: - texmath-0.9 - doctemplates-0.1.0.2 - pandoc-types-1.17.0.4 -resolver: lts-7.9 +- skylighting-0.1.0.1 +resolver: lts-7.14 -- cgit v1.2.3