diff options
| author | Théo Zimmermann | 2018-05-27 13:52:32 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-27 14:31:35 +0200 |
| commit | bba1fe0ac5deb05f3ade9709a8a044d3d6979368 (patch) | |
| tree | dc53083175fc3f3cee53ddf4c320a78763b15bf0 /dev/base_include | |
| parent | efe0768adcbe1409311136796e1dc350d57061b4 (diff) | |
Move 'new in Coq 8.1' subsection to an appropriate place.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions