The Coq mailing list

[Michael Day <mikeday AT yeslogic.com>]

Hi,

Is there an established process for submitting and reviewing feature 
requests for Coq and the standard libraries? A wiki devoted to this 
purpose would be ideal. For example, consider Java Specification 
Requests or Python Enhancement Proposals as methods of promoting open 
discussion of the language future.

On that note, I have a small feature request of my own: support for 
hexadecimal integer literals in the vernacular syntax, eg. 0xFF to be 
treated equivalent to 255. This would be very handy when specifying 
low-level details of code or hardware that generally use hexadecimal 
rather than decimal numbers, such as UNICODE code points or opcodes.

Best regards,

Michael

--
Print XML with Prince!
http://www.princexml.com