test ../TEST/poplmark/sources.cfg
test ../TEST/wiki-misc/linearlogic.cfg
test ../TEST/wiki-misc/lily.cfg