search

xavierleroy / coq2html

An HTML documentation generator for Coq source files
GNU General Public License v2.0
30 stars 11 forks source link

bugfix: end of detail tag for proofs #9

Closed yoshihiro503 closed 1 month ago

yoshihiro503 commented 2 months ago

Fix a problem in which the closing tag of the detail for proof was not generated.