revise texdist structure and add property list