diff options
| author | Matthieu Sozeau | 2015-01-14 20:57:08 +0530 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-01-15 18:59:00 +0530 |
| commit | acf1f8c1fd02589f137603178ab713f14c949e77 (patch) | |
| tree | c5f8a6887b015044afd8f55a7037bc776aae8e70 /kernel/nativelambda.mli | |
| parent | 4ddddba01d49ba7c019ebb0444cd58c18c8ad40d (diff) | |
Expand Credits for 8.5 and doc on universes
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions