diff options
| author | Matthieu Sozeau | 2014-07-31 14:34:00 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-31 14:35:07 +0200 |
| commit | fa46f6a94a59255da293247ccda9b824bd300dcd (patch) | |
| tree | 72bad22d9282fba4f04abd81f21fd0661153bcf1 /kernel/type_errors.ml | |
| parent | 4bd65a91f3b6d3ca6c3cad75fc500d8c9d154936 (diff) | |
Finish fixes on notations and primitive projections, add test-suite files for closed bugs
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions