Mercurial > cpdt > repo
log
age | author | description |
---|---|---|
Sun, 02 Feb 2020 10:51:18 -0500 | Adam Chlipala | Note 8.11 port |
Sun, 02 Feb 2020 10:46:14 -0500 | Adam Chlipala | Update for Coq 8.11 |
age | author | description |
---|---|---|
Sun, 02 Feb 2020 10:51:18 -0500 | Adam Chlipala | Note 8.11 port |
Sun, 02 Feb 2020 10:46:14 -0500 | Adam Chlipala | Update for Coq 8.11 |