• Changes in Coq file
• Changes in plugin