convert proposal tex -> txt