Commit e3583c2c authored by Miriam's avatar Miriam

merge

parent 48508b63
......@@ -80,12 +80,12 @@ endif
# #
######################
VFILES:=Summary.v\
VFILES:=External/IPC/MyPermutations.v\
Summary.v\
DNTrans.v\
KIbox_Rules.v\
KIbox_NaturalDeduction.v\
IntModalSetup.v\
External/IPC/MyPermutations.v
IntModalSetup.v
-include $(addsuffix .d,$(VFILES))
.SECONDARY: $(addsuffix .d,$(VFILES))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment