<html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div><br></div><div>Texworks (the binary executable) has a file date stamp of 6-26-20 on my computer. That sounds right because I don't remember that it was updated recently. <br></div><div><br></div><div>Texworks is version 0.6.5 ("travis-ci") [r.649699a, 3/25/2020 1:49 PM]<br></div><div><br></div><div><br></div><div>So, it looks like texworks itself may not be the problem since it was working fine back then.<br></div><div><br></div><div>By the way, it took Texworks that very long time just to open to the default, not even opening a specific file. <br></div><div><br></div><div><br></div><div><br></div><div>Rick<br></div></div></body></html>