
all	:	../descartes
	../descartes test.pl

