inconsistent treatment of `|2`

affeldt-aist / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

1 stars 3 forks source link

inconsistent treatment of `|2` #39

Open affeldt-aist opened 5 months ago

affeldt-aist commented 5 months ago

when using coq2html against contra.v I noticed the following inconsistent behavior: |2 is turned into a link only two one place but maybe it shouldn't be

affeldt-aist commented 5 months ago

fyi @yoshihiro503