I am new to Coq. And I just installed Coq 2 days ago. It seems successfully installed since I can run some basic proof program. The issue was after I saved it, the next time
