Daniel Shahaf a3d5dfcbda driver: Rename highlighter entry points ...

This updates the docs and the driver, in a manner backwards compatible with
existing highlighters.  (None of the highlighters are touched by this change,
yet tests continue to pass.)

Part of issue #329.

2016-08-16 17:51:43 +00:00

..

highlighters

'main': Document _pathseparator styles

2016-06-12 09:06:30 +00:00

highlighters.md

driver: Rename highlighter entry points

2016-08-16 17:51:43 +00:00