from txt to dsl