Added pdf and ...tests.sml