Updates of latex files (what we did together)