diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-01-07 18:37:24 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-01-08 19:05:05 +0100 |
| commit | b584c5529f7195849b0dd4f1eebf7c73c46f60db (patch) | |
| tree | bcb6db114e3bcea5bb0cc6fd58aa3a00a1a51334 /pretyping/pretyping.mllib | |
| parent | 5c23295d39da2480d83c10fe51f4201715126482 (diff) | |
Update + English in CHANGES
Diffstat (limited to 'pretyping/pretyping.mllib')
0 files changed, 0 insertions, 0 deletions