Mercurial > cpdt > repo
diff Makefile @ 314:d5787b70cf48
Rename Tactics; change 'principal typing' to 'principal types'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 07 Sep 2011 13:47:24 -0400 |
parents | 4cb3ba8604bc |
children | 21229271f44c |
line wrap: on
line diff
--- a/Makefile Thu Sep 01 11:33:55 2011 -0400 +++ b/Makefile Wed Sep 07 13:47:24 2011 -0400 @@ -1,4 +1,4 @@ -MODULES_NODOC := Tactics MoreSpecif DepList +MODULES_NODOC := CpdtTactics MoreSpecif DepList MODULES_PROSE := Intro MODULES_CODE := StackMachine InductiveTypes Predicates Coinductive Subset \ MoreDep DataStruct Equality Generic Universes Match Reflection \