diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-09-26 16:31:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-09-26 16:33:08 +0200 |
| commit | 4b88d774729e0ab7916730e8e6ebedc2033a87f2 (patch) | |
| tree | a91951ae7b9da321b68c20cb0964b96fbd531dea /library/library.ml | |
| parent | 5481ff4f6935874ac3798a61f5a2a810006bde37 (diff) | |
Documenting how to support some special unicode characters in coqdoc
(thanks to coq-club, Sep 2015).
Diffstat (limited to 'library/library.ml')
0 files changed, 0 insertions, 0 deletions