The Coq mailing list

[Jonathan <jonikelee AT gmail.com>]

After pulling the latest trunk version, I had to fix up several things.  
One was trying to guess how this -R option to coqdep works if I just 
want a single directory project.  I guessed this: -R . ""

That seems to have made make happy, but is it right?

Also, the automatic naming of hypotheses rules were switched again! I 
guess I really need some approach that will allow me to comb through my 
proofs to find references to automatically named hypotheses.  Although, 
pulling changes to the naming rules is a start ;)

-- Jonathan