diff options
| author | Yishuai Li | 2019-09-01 02:00:06 -0400 |
|---|---|---|
| committer | Yishuai Li | 2019-09-01 02:20:50 -0400 |
| commit | 016c22454c6745ac753d7e376c9f457d6e934114 (patch) | |
| tree | ea6caef15d5715f73ff4fa9f2d197f948a9771be /doc | |
| parent | 7ee359556287610fde675f936f74ab3ab37d8e00 (diff) | |
edits per review
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/10-standard-library/09379-splitAt.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/changelog/10-standard-library/09379-splitAt.rst b/doc/changelog/10-standard-library/09379-splitAt.rst index 1e6ccb2eaa..7ffe8e27f7 100644 --- a/doc/changelog/10-standard-library/09379-splitAt.rst +++ b/doc/changelog/10-standard-library/09379-splitAt.rst @@ -1,4 +1,4 @@ -- Added ``splitAt`` function and lemmas about ``splitAt`` and ``uncons`` +- Added ``splitat`` function and lemmas about ``splitat`` and ``uncons`` (`#9379 <https://github.com/coq/coq/pull/9379>`_, by Yishuai Li, with help of Konstantinos Kallas, follow-up of `#8365 <https://github.com/coq/coq/pull/8365>`_, |