fix: :bug: coloring for all HB commands

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

fix: :bug: coloring for all HB commands #20

Closed yoshihiro503 closed 8 months ago

yoshihiro503 commented 8 months ago

issue: https://github.com/affeldt-aist/coq2html/issues/13

Color following HB commands:

  "HB.check"; "HB.locate"; "HB.about"; "HB.howto";
  "HB.status"; "HB.graph"; "HB.mixin"; "HB.structure";
  "HB.saturate"; "HB.instance"; "HB.factory"; "HB.builders";
  "HB.end"; "HB.export"; "HB.reexport"; "HB.declare";