diff CHANGELOG @ 1287:5137b0537c92

Polymorphic variants
author Adam Chlipala <adam@chlipala.net>
date Thu, 19 Aug 2010 17:28:52 -0400
parents 7d0254d15b21
children 41484478a32d
line wrap: on
line diff
--- a/CHANGELOG	Tue Aug 10 16:02:55 2010 -0400
+++ b/CHANGELOG	Thu Aug 19 17:28:52 2010 -0400
@@ -1,3 +1,10 @@
+========
+Next
+========
+
+- Polymorphic variants (see Basis.variant)
+- (* *) and <!-- --> comments in XML
+
 ========
 20100603
 ========