summaryrefslogtreecommitdiff
path: root/CHANGELOG
Commit message (Expand)AuthorAge
* Mention src/coq in CHANGELOGGravatar Adam Chlipala2009-03-12
* Update CHANGELOGGravatar Adam Chlipala2009-03-12
* Prepare to releaseGravatar Adam Chlipala2008-12-09
* Start of manualGravatar Adam Chlipala2008-11-27
* Note optimizations in changelogGravatar Adam Chlipala2008-11-27
* Fusing writes with recursive function callsGravatar Adam Chlipala2008-11-25
* Update CHANGELOG for 20081120Gravatar Adam Chlipala2008-11-20
* Tag CHANGELOG with release numberGravatar Adam Chlipala2008-11-18
* Mention Especialize in CHANGELOGGravatar Adam Chlipala2008-11-18
* Inserted a NULL valueGravatar Adam Chlipala2008-11-06
* GCCARGS configure optionGravatar Adam Chlipala2008-10-28
* Remove need for '() <-' notationGravatar Adam Chlipala2008-10-27
* Switch exit(1) call to uw_error()Gravatar Adam Chlipala2008-10-27