diff options
| author | Théo Zimmermann | 2018-05-22 16:21:23 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-06-05 14:41:54 +0200 |
| commit | 2ee47cd259a912196b9e4a03412f5d786380d29c (patch) | |
| tree | 8e1d6389a46bacab1f31993740a56bada57ce9e4 /dev/base_include | |
| parent | ce9833937ea609ae83d1ff981a21291170fa86c5 (diff) | |
Remove many abusive .. coqtop in SSR chapter.
Many still remain.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions