Update pascal.txt