Mercurial > urweb
log src/coq/README
age | author | description |
---|---|---|
2011-11-30 | Adam Chlipala | Update Coq semantics for 8.3pl2 |
2009-02-26 | Adam Chlipala | Coq README |
age | author | description |
---|---|---|
2011-11-30 | Adam Chlipala | Update Coq semantics for 8.3pl2 |
2009-02-26 | Adam Chlipala | Coq README |