2 Commits (465327c7ff6a2f9525080f90418de1127eb5eedd)

Author	SHA1	Message	Date
Michael Dippery	6c11c66586	coq: Upgrade to v8.3 ... I also added the HEAD version. Signed-off-by: Adam Vandenberg <flangy@gmail.com>	2010-11-05 19:42:08 -07:00
Michael Dippery	2918d4994d	Added coq ... Signed-off-by: Adam Vandenberg <flangy@gmail.com>	2010-11-03 21:29:34 -07:00