Skip to main content

Browse the archive

https://github.com/uds-psl/coq-library-undecidability
07 June 2021, 02:21:05 UTC
Raw File
Tip revision: c74841fd8d199d8dd70971e0e22db1da513adbd2 authored by Yannick Forster on 06 March 2020, 10:35:48 UTC
Update README.md
Tip revision: c74841f
Makefile 

all:
	+make -C theories all

deps:
	+make -C external all

clean:
	+make -C theories clean

realclean:
	+make -C external clean
	+make -C theories clean

html:
	+make -C theories html

.PHONY: all html clean realclean
back to top