The Coq mailing list

[nixiejun <nixiejuncoq AT 163.com>]

Dear Coq users,

    Thank you for reading this mail.

    When every time I use the coqIde,I have to reset my setting of "forward" or "backward",it is really inconvenient !

     Could anyone tell me how to make my settings on Navigation permanently unchanged?

     
Thanks & best regards,
Xiejun Ni.