diff options
| author | coqbot-app[bot] | 2020-10-15 11:13:43 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-15 11:13:43 +0000 |
| commit | 56384cc09d6d9e9446e7c11aee5def865e28a4d5 (patch) | |
| tree | 46a673c5b4601f8d1fb93421945b504642b9a6bb /dev | |
| parent | 411025844a4c005ce03d77c6c640807c28269d4a (diff) | |
| parent | d98cca66ea0e64193e7f79ffcf99b632d0ad6f14 (diff) | |
Merge PR #13144: Closes #13142: more standardized pretty-printing of Coq records
Reviewed-by: ejgallego
Ack-by: SkySkimmer
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions