comparison staging/updates.rss @ 297:b441010125d4

Everything compiles in Coq 8.3pl1
author Adam Chlipala <adam@chlipala.net>
date Fri, 14 Jan 2011 14:39:12 -0500
parents e2dbc0f1c1e8
children 20c742997dae
comparison
equal deleted inserted replaced
296:559ec7328410 297:b441010125d4