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