PROBE = ../probe/probe.native
REGISTRY = $(RT_BASE_DIR)/matita.conf.xml \
test/legacy_1.conf.xml test/ground_1.conf.xml test/basic_1.conf.xml
PROBE = ../probe/probe.native
REGISTRY = $(RT_BASE_DIR)/matita.conf.xml \
test/legacy_1.conf.xml test/ground_1.conf.xml test/basic_1.conf.xml