DA update in TexWorks