|
|
a7f93cec23
|
Move comment highlighting to 'after/syntax'
|
2023-05-12 14:32:57 +02:00 |
|
|
|
c72d040efa
|
Update pandoc syntax
|
2023-04-29 17:47:53 +02:00 |
|
|
|
a00afbe846
|
Adjust pandoc syntax highlighting
|
2022-09-24 12:30:37 +02:00 |
|
|
|
f7b7540177
|
Allow multidigit numbers
|
2022-08-20 10:41:20 +02:00 |
|
|
|
cdef13f57b
|
Allow extra characters
|
2022-08-16 15:23:59 +02:00 |
|
|
|
3083cdfa8b
|
Extend pandoc-syntax
|
2022-08-16 10:48:45 +02:00 |
|
