diff options
| author | Guillaume Melquiond | 2014-04-28 13:48:46 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2014-04-28 13:58:38 +0200 |
| commit | d065ea30843729c70e3b501a331d11499ad197e7 (patch) | |
| tree | 6533a27ab527ba54047d9eb123d31579752622e0 /doc/tutorial | |
| parent | e260172f03f792a388797f066438e079290074d0 (diff) | |
Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions