Mercurial > cpdt > repo
comparison staging/ex/index.html @ 542:f874c163f5e0
Mention _CoqProject
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 Oct 2015 12:49:58 -0400 |
parents | c8a3cb24bae9 |
children |
comparison
equal
deleted
inserted
replaced
541:429e95d23b26 | 542:f874c163f5e0 |
---|