diff options
author | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-05-15 15:29:54 +0000 |
---|---|---|
committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-05-15 15:29:54 +0000 |
commit | 407f120d4b6a8d829cbf8efdfe5796444dda5a73 (patch) | |
tree | 95fadbcb86702c3c9c3705126056cbaa75991b2e /tools/coqdoc/pretty.mll | |
parent | 0a64c8ac6a9be66c7cbfe5c110b480e0abbce638 (diff) |
Correction du pretty-printing des big-int (la sous-fonction get_height
faisait n'importe quoi).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9825 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools/coqdoc/pretty.mll')
0 files changed, 0 insertions, 0 deletions