diff options
| author | Brian Campbell | 2018-08-09 11:18:00 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-09 15:29:28 +0100 |
| commit | 9368ae447257efea8b0af8725350e195b2bb9731 (patch) | |
| tree | 86c44493fb529ce9849057cdbe8be9ee952c3ca7 /doc/tutorial.tex | |
| parent | 93b8618d2b1c14c58340eae4873632fb4d7c1a20 (diff) | |
Coq: tidy up debugging messages
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions