LUCYNC=lucync -dbuff

BAD=	causality.ls \
	synchronizability.ls \
	precedence.ls

all: 

clean:
	rm -f *.annot *.bannot *.el

realclean: clean
	rm -f *~

cleanall: realclean
