search

fpco / ide-backend

ide-backend drives the GHC API to build, query, and run your code
120 stars 17 forks source link

Create release 0.9 #236

Closed edsko closed 10 years ago

edsko commented 10 years ago

Merge with master, update release notes, version numbering

edsko commented 10 years ago

@Mikolaj I have updated the release notes. Could you please read of them to see if anything is missing? Also, I left in one or two TODOs related to changes that you made that I weren't 100% sure about; could you fill those in please?

Mikolaj commented 10 years ago

@edsko: Done. One TODO remains, but it's not about my hacks.