The Coq mailing list

[Ömer Sinan Ağacan <omeragacan AT gmail.com>]

That didn't work and I think it'd be really weird if it worked.

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

2014-08-26 22:19 GMT+03:00 Roger Witte <rogerwite AT yahoo.co.uk>:

Try Require Import Utf 8.

Sent from Yahoo Mail on Android

---

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
Sent: Tue, Aug 26, 2014 7:16:59 PM

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