committing latex changes to specifications