
all	:	../descartes
	../descartes test.pl
	../descartes objtest.cat

