Mercurial > urweb
log CHANGELOG
age | author | description |
---|---|---|
2009-03-12 | Adam Chlipala | Mention src/coq in CHANGELOG |
2009-03-12 | Adam Chlipala | Update CHANGELOG |
2008-12-09 | Adam Chlipala | Prepare to release |
2008-11-27 | Adam Chlipala | Start of manual |
2008-11-27 | Adam Chlipala | Note optimizations in changelog |
2008-11-25 | Adam Chlipala | Fusing writes with recursive function calls |
2008-11-20 | Adam Chlipala | Update CHANGELOG for 20081120 |
2008-11-18 | Adam Chlipala | Tag CHANGELOG with release number |
2008-11-18 | Adam Chlipala | Mention Especialize in CHANGELOG |
2008-11-06 | Adam Chlipala | Inserted a NULL value |
2008-10-28 | Adam Chlipala | GCCARGS configure option |
2008-10-27 | Adam Chlipala | Remove need for '() <-' notation |
2008-10-27 | Adam Chlipala | Switch exit(1) call to uw_error() |