diff options
| author | Théo Zimmermann | 2020-03-28 20:05:59 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-03 15:41:03 +0200 |
| commit | 545f2a76e84cea2d9bfecc62ff417e97b3652bd2 (patch) | |
| tree | 83583cf1993d6caed2b19f711c608ab312055505 /doc/stdlib/Library.tex | |
| parent | acefe58cd39c9a4efee632f7f92f56fb4d5285bb (diff) | |
Remove sections on records, sections, funind and implicit arguments from gallina-ext chapter.
Diffstat (limited to 'doc/stdlib/Library.tex')
0 files changed, 0 insertions, 0 deletions