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 /grammar | |
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 'grammar')
0 files changed, 0 insertions, 0 deletions