Skip to main content

Browse the archive

Revision 537e02772c14470040465b418ea99a2b65e53609 authored by Yannick Forster on 17 August 2020, 16:07:41 UTC, committed by GitHub on 17 August 2020, 16:07:41 UTC 
Update README.md
1 parent 977e917
Raw File
Makefile 
all:
	+make -C theories all

install:
	+make -C theories install

clean:
	+make -C theories clean

html:
	+make -C theories html

.PHONY: all install html clean
back to top