diff options
| author | Pierre Courtieu | 2017-07-06 11:26:01 +0200 |
|---|---|---|
| committer | GitHub | 2017-07-06 11:26:01 +0200 |
| commit | 9f58c849ff35bd5d96e2db653bede6d44ce1f2a1 (patch) | |
| tree | 01bd0ec3a2e156dabe5b3b13ea8e0f1b5e7ec2ba /coq | |
| parent | 18e0b4b1e7f752fac9a02b07b8e0bd882fdcce31 (diff) | |
| parent | 21c63d1f24d2fccaac6aa9cf1f1c2b03c015fb9e (diff) | |
Merge pull request #191 from AndreasLoow/proof-layout-windows-doc-formatting
Formatting fix for proof-layout-windows documentation
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions