fix: :bug: missing purple vernacular keywords.

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

Closed yoshihiro503 closed 8 months ago

yoshihiro503 commented 8 months ago

fixes #7

add following keywords as vernacular words:

  "Unset"; "Strict"; "Printing"; "Defensive"; "Number"; "Declare";
  "Delimit"; "Bind"; "Local";