diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-03-30 19:17:33 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-03-30 19:17:33 +0000 |
commit | 358e5b1daef7ec1681092f8b1888b57da078a8b6 (patch) | |
tree | 662304d151d58972780517623316e15708b5f87f /toplevel/ind_tables.ml | |
parent | e7d037bf195e02a3a17d34ab7bd08f0e12689664 (diff) |
Removed hard-wiring of latin1 letters in coqdoc (see bug #2275)
(it interfered badly with utf-8: just take an utf-8 like "forall" which
starts in iso-8859-1 with a "a circonflex"; nothing is lost since
intentedly iso-8859-1 chars can only occur in comments and there is no
ident detection in comments)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12895 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/ind_tables.ml')
0 files changed, 0 insertions, 0 deletions