Update progules.txt