diff options
| author | Théo Zimmermann | 2020-04-03 16:00:57 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-03 16:00:57 +0200 |
| commit | cf978356dd0791cf6b4bc90dcc07a91cd57bd79e (patch) | |
| tree | 3fa57e6194514a93ac5479d3bb54264e70f07997 /doc/stdlib/Library.tex | |
| parent | ce6ad8544fe4bd6b5cf83d38424cd7877ff226cc (diff) | |
| parent | 313d48a0cd8c800e739f6fb1ce4b9d9d086b0cbc (diff) | |
| parent | e79fe9ebbe20b5aae4d5dd4879a0bd141e45b16b (diff) | |
| parent | bc07d130a0a792121b428d0f21c4588785a91056 (diff) | |
| parent | 545f2a76e84cea2d9bfecc62ff417e97b3652bd2 (diff) | |
Split four sections out of the Gallina extensions chapter.
This octopus merge is meant to preserve the commit history / blame of
all the parts.