Update ReleaseNotes
commit40e29732f4b9710fcbe6de9ff28607153ca6f550
authorPieter de Bie <pdebie@ai.rug.nl>
Sat, 4 Oct 2008 21:04:12 +0000 (4 23:04 +0200)
committerPieter de Bie <pdebie@ai.rug.nl>
Sat, 4 Oct 2008 21:04:12 +0000 (4 23:04 +0200)
tree2ffb5e1c35e475aaf0a654b45408a045e9af47c9
parentb2cd87cb722e004d47059397b3c1b60fb4c8438b
Update ReleaseNotes
Documentation/ReleaseNotes.txt