diff Makefile @ 45:cb135b19adb8

Propositional logic
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Sep 2008 14:57:08 -0400
parents 7021e94dbbec
children 827d7e8a7d9e
line wrap: on
line diff
--- a/Makefile	Tue Sep 16 16:18:11 2008 -0400
+++ b/Makefile	Sat Sep 27 14:57:08 2008 -0400
@@ -1,6 +1,6 @@
 MODULES_NODOC := Tactics
 MODULES_PROSE := Intro
-MODULES_CODE  := StackMachine InductiveTypes
+MODULES_CODE  := StackMachine InductiveTypes Predicates
 MODULES_DOC   := $(MODULES_PROSE) $(MODULES_CODE)
 MODULES       := $(MODULES_NODOC) $(MODULES_DOC)
 VS            := $(MODULES:%=src/%.v)