diff options
| author | Gregory Malecha | 2014-08-01 19:06:00 -0400 |
|---|---|---|
| committer | Pierre Boutillier | 2014-08-25 14:13:24 +0200 |
| commit | d8f73aee76e8b63db97f41e978b579477a82ed50 (patch) | |
| tree | aebec70c9db313beb431d4527445ba97d842ebbb /doc/RecTutorial | |
| parent | 6c72e455a048d69048ddf386c43d5fc5eb4597a4 (diff) | |
Make coqdep find Require commands prefixed by Time
Diffstat (limited to 'doc/RecTutorial')
0 files changed, 0 insertions, 0 deletions