https://github.com/uds-psl/coq-library-undecidability
Raw File
Tip revision: ae77c0b38dbafdd9dbc15efdae68a3b1ef5ef7ef authored by Dominique Larchey-Wendling on 07 May 2021, 10:19:59 UTC
typo in summary.v
Tip revision: ae77c0b
Makefile
all:
	export TIMED
	@+$(MAKE) -C theories all

force Makefile: ;

%: force
	@+$(MAKE) -C theories $@

.PHONY: all force
back to top