diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-12-26 17:07:20 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-12-26 17:07:20 +0000 |
| commit | 34416087ebfa54a7ed780bf756fa99a2a3d0f180 (patch) | |
| tree | 65e1f5c3b3fda2929e1f41bc566d24336b14b4ac /.gitignore | |
| parent | 1543d091ad7923cab049da8871ec010ab8a6d125 (diff) | |
Coqdoc: Fixing missing newline when using "Proof term."
(bug apparently introduced by r11880).
Fixing also a "body_bol" which apparently should be a "bol".
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14866 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions