add version number to release notes

please merge to release branch
This commit is contained in:
Robby Findler 2011-07-21 21:46:36 -05:00
parent 01396784c9
commit f7f3971d15

View File

@ -1,3 +1,7 @@
------------------------------
Version 5.1.2
------------------------------
. The EoPL language is no longer available via the Language
dialog in DrRacket; use
@ -5,6 +9,8 @@
and the 'language declared in the source' language in DrRacket.
. Minor bug fixes
------------------------------
Version 5.1.1
------------------------------