The Coq mailing list

[Adam Megacz <megacz AT cs.berkeley.edu>]

Matthieu Sozeau 
<mattam AT mattam.org>
 writes:
> [Generalizable Variables A.] vernacular command (documented 
> in the reference manual).

Ah, sorry for not checking that; I'll read more of the manual before
continuing my migration to 8.3.

By the way, is there any sort of "diff" of the reference manual for
those of us who'd like to see just the parts that have changed?

Thanks,

  - a