Mercurial > cpdt > repo
log
age | author | description |
---|---|---|
Sun, 20 Jan 2019 15:28:23 -0500 | Adam Chlipala | Back to working in Coq 8.4 |
Sun, 20 Jan 2019 15:16:29 -0500 | Adam Chlipala | Port to Coq 8.9.0 |
age | author | description |
---|---|---|
Sun, 20 Jan 2019 15:28:23 -0500 | Adam Chlipala | Back to working in Coq 8.4 |
Sun, 20 Jan 2019 15:16:29 -0500 | Adam Chlipala | Port to Coq 8.9.0 |