Use latest skylighting.
This means we no longer need language.dtd when loading
custom highlighting definitions.
See #3334.
commit1c7f4e97e2dd5a5bc0a4bfb61f4447101ea870de
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 1 Apr 2017, 12:54 (10 years ago)
parent34b9bee
stack.pkg.yaml+1−1
@@ -20,6 +20,6 @@ packages:
2020extra-deps:
2121- hslua-0.5.0
2222- hslua-aeson-0.1.0.3
23−- skylighting-0.3.1
23+- skylighting-0.3.2
2424- texmath-0.9.4
2525resolver: lts-8.4
stack.yaml+1−1
@@ -10,6 +10,6 @@ packages:
1010extra-deps:
1111- hslua-0.5.0
1212- hslua-aeson-0.1.0.3
13−- skylighting-0.3.1
13+- skylighting-0.3.2
1414- texmath-0.9.4
1515resolver: lts-8.4