history updated, propagate

svn: r15532
This commit is contained in:
Matthias Felleisen 2009-07-22 15:17:17 +00:00
parent 671c2ef26e
commit 90bc8bec18

View File

@ -1,3 +1,9 @@
------------------------------------------------------------------------
Version 4.2.1 [Wed Jul 22 11:15:54 EDT 2009]
* universe API: added launch-many-worlds, fixed numerous small bugs
concerning symbol and char elimination
------------------------------------------------------------------------
Version 4.2 [Thu May 21 08:51:15 EDT 2009]