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 5 months ago

yoshihiro503 commented 5 months ago

Always put two spaces at the end of lines in markdown mode when the -fragile-mathcomp-break option is given.

Issue

affeldt-aist commented 5 months ago

fixes issue #32