Mercurial > cpdt > repo
view latex/.dir @ 542:f874c163f5e0
Mention _CoqProject
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 Oct 2015 12:49:58 -0400 |
parents | bcf375310f5f |
children |
line wrap: on
line source
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 Oct 2015 12:49:58 -0400 |
parents | bcf375310f5f |
children |