From 458bed0042d7bb206138ba6dce98686b056ae5c0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 19 Aug 2010 17:28:52 -0400 Subject: Polymorphic variants --- CHANGELOG | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 14983d28..3d3506f6 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,10 @@ +======== +Next +======== + +- Polymorphic variants (see Basis.variant) +- (* *) and comments in XML + ======== 20100603 ======== -- cgit v1.2.3