coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coqdoc doesn't pretty-print

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: coq club <coq-club AT inria.fr>
Subject: [Coq-Club] coqdoc doesn't pretty-print
Date: Tue, 26 Aug 2014 22:16:59 +0300

As far as I can understand from reference manual, Coq should
pretty-print some symbols like ->, |-, \/ etc. by default but `coqdoc
MyFile.v` generates a HTML with non-pretty-printed symbols. Any ideas
what I'm missing? I don't have any `printing` directives in the source
file, it's just a a dummy file with some random definitions for
testing.

Thanks.

---
Ömer Sinan Ağacan
http://osa1.net

[Coq-Club] coqdoc doesn't pretty-print, Ömer Sinan Ağacan, 08/26/2014
- Re: [Coq-Club] coqdoc doesn't pretty-print, Roger Witte, 08/26/2014
  - Re: [Coq-Club] coqdoc doesn't pretty-print, Ömer Sinan Ağacan, 08/26/2014
    - Re: [Coq-Club] coqdoc doesn't pretty-print, Abhishek Anand, 08/26/2014
      - Re: [Coq-Club] coqdoc doesn't pretty-print, Ömer Sinan Ağacan, 08/26/2014
        
        Re: [Coq-Club] coqdoc doesn't pretty-print, Abhishek Anand, 08/26/2014