polish formal.tex
fix the list of file names for making the TAGS file
too many caps