--- sml/trunk/src/smlnj-lib/CHANGES 2002/02/11 20:55:09 1060 +++ sml/trunk/src/smlnj-lib/CHANGES 2002/02/12 22:21:13 1061 @@ -3,6 +3,10 @@ -------------------------------------------------------------------------------- +[2002-02-12] + Added implementation of priority queues to Util library (using + Okasaki's leftist-tree implementation). + [2001-10-19] Added new HashCons library.
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: brary (using + Okasaki's leftist-tree implementation). + [2001-10-19] Added new HashCons library.