all:
	

.PHONY: tags
tags:
	etags *.sml *.sig *.fun
	
