Mercurial > cpdt > repo
view staging/cover.jpg @ 542:f874c163f5e0
Mention _CoqProject
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 Oct 2015 12:49:58 -0400 |
parents | 2bd6b00f831f |
children |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 Oct 2015 12:49:58 -0400 |
parents | 2bd6b00f831f |
children |