summaryrefslogtreecommitdiff
path: root/CHANGELOG
Commit message (Collapse)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