diff options
| author | Gregory Malecha | 2014-08-07 09:00:40 -0400 |
|---|---|---|
| committer | Pierre Boutillier | 2014-08-25 14:13:24 +0200 |
| commit | 9bef662f678dfbeaa477b6d336a4bd141d102b91 (patch) | |
| tree | 7bac188b13fa046f7d1e770726baeea21ebca2cf /doc/RecTutorial | |
| parent | b3af682ed9c8615882a3afec498e2d7dbf071e87 (diff) | |
factored out require_modifiers + bug fix.
Conflicts:
tools/coqdep_lexer.mll
Diffstat (limited to 'doc/RecTutorial')
0 files changed, 0 insertions, 0 deletions