Skip to content

coq2html 1.3

Latest
Latest
Compare
Choose a tag to compare
@xavierleroy xavierleroy released this 03 Oct 15:50
· 3 commits to master since this release
v1.3
e93c42e
  • Preserve indentation of "Proof." (#7).
  • Updated list of keywords for coloring.
  • Updated various URLs (#5 and more).
Assets 2