diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-12-23 17:31:10 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-12-23 18:07:49 -0700 |
| commit | 9d781b145449933369a02145eeb18cc2857480ed (patch) | |
| tree | badd31c411b28de1485f3b7f2c38840e8aec37e9 /stack.yaml | |
| parent | bfb6b61084ab6046db2105ebb42935543ee4d528 (diff) | |
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.
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
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 |