../ Makefile 01-Jul-2025 19:35 39 cmr10.tfm 01-Jul-2025 19:35 1296 f.tex 01-Jul-2025 19:35 252 rebuild.sh 01-Jul-2025 19:35 59 run.sh 01-Jul-2025 19:35 189