https://github.com/uds-psl/time-invariance-thesis-for-L
Tip revision: 41f4eb1f788cc4f096d9c7c286c9ca907588859f authored by Yannick Forster on 23 April 2021, 07:55:11 UTC
Delete LICENSE
Delete LICENSE
Tip revision: 41f4eb1
Makefile
all:
export TIMED
@+$(MAKE) -C theories all
force Makefile: ;
%: force
@+$(MAKE) -C theories $@
.PHONY: all force