diff options
| author |  aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-07-04 11:36:49 +0000 |
|---|---|---|
| committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-07-04 11:36:49 +0000 |
| commit | c90d204c898ed8d7c28dd034782d3d868c85a926 (patch) | |
| tree | a2b05e3187c34302ce0544b5bc9d26dff7609bb9 /theories/NArith/Nnat.v | |
| parent | 57d6f9018835ad73323fe0e33efec2bcc716db4c (diff) | |
Fixes a bug in Ppvernac which had braces and bullets printed with an ending
period.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15509 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/NArith/Nnat.v')
0 files changed, 0 insertions, 0 deletions