summaryrefslogtreecommitdiff
path: root/CHANGELOG
Commit message (Expand)AuthorAge
...
* New releaseGravatar Adam Chlipala2009-09-12
* New releaseGravatar Adam Chlipala2009-08-25
* FFI manual sectionGravatar Adam Chlipala2009-07-18
* New releaseGravatar Adam Chlipala2009-06-23
* Tag CHANGELOG with release dateGravatar Adam Chlipala2009-05-05
* Runtime URL and MIME type filteringGravatar Adam Chlipala2009-05-02
* Path rewritingGravatar Adam Chlipala2009-05-02
* SubformsGravatar Adam Chlipala2009-04-28
* Views in CHANGELOGGravatar Adam Chlipala2009-04-28
* Outer joins in CHANGELOGGravatar Adam Chlipala2009-04-28
* Blobs in CHANGELOGGravatar Adam Chlipala2009-04-26
* Cookie signatures for RPCsGravatar Adam Chlipala2009-04-23
* URLsGravatar Adam Chlipala2009-04-09
* Update CHANGELOGGravatar Adam Chlipala2009-04-09
* CHANGELOG before releaseGravatar Adam Chlipala2009-04-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-22 22:44:48 +0000