The Coq mailing list

[Jonathan <jonikelee AT gmail.com>]

While experimenting with having two git clones of Coq (one set to the 
head of the trunk, another set to a friendlier point in the past), I 
inadvertently broke CoqIDE by setting its preferences for coqtop path 
incorrectly.  As a result, I couldn't even start up CoqIDE to change the 
mistake (luckily the other CoqIDE was startable - and they share 
preferences).

So I have two questions:

- Where does CoqIDE store those preferences, in case the same thing 
happens again?

- Is there a way to set the paths for coqtop (and coqc, etc.) in those 
preferences to be the same as the path to CoqIDE itself?  It seems that 
the only options I currently have are an absolute path, a relative path 
to the current workdir, or no path (and so use $PATH).

-- Jonathan