diff options
| author | Maxime Dénès | 2018-02-14 14:23:29 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-02-14 14:23:29 +0100 |
| commit | 41893cb647fbdce87b40acd5763e837370d61ece (patch) | |
| tree | 6badf5503ba4f2c2fdd7e8ffa0b5e5469eba4279 /kernel/cemitcodes.ml | |
| parent | ce7a851f21bd6e7c811bd3b7520019dabe609afc (diff) | |
| parent | 8288e56bbf737cde9eb2e36c3d634a5acbb04b83 (diff) | |
Merge PR #6742: Add CHANGES entry for #1047 (universe instance on Type notation)
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions