diff options
| author | Matthieu Sozeau | 2014-06-15 13:24:41 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-15 13:24:41 +0200 |
| commit | 0a51137f7ff80afdcf216d85cd8be25a531bc39b (patch) | |
| tree | b8ce1197001e7d387c42bc48ae155313d0ec6956 /kernel/nativelib.ml | |
| parent | df6e64fd28e9ba8b12045768869c7f083a15e9c0 (diff) | |
- Fix xml plugin treatment of inductives.
- Move HoTT bug #30 to closed
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions