diff options
| author | Guillaume Melquiond | 2014-04-28 13:49:22 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2014-04-28 13:58:38 +0200 |
| commit | ffeefb4b969aaa0b6728e701593b79250eac1c25 (patch) | |
| tree | f6a8ccf3703921e8b2188a8a0a02c0ce47e6cbd5 /doc/tutorial/Tutorial.tex | |
| parent | d065ea30843729c70e3b501a331d11499ad197e7 (diff) | |
Recognize Parameters as a command in coqdoc. (Fix for bug #3279)
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions