Mercurial > urweb
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
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 19 Aug 2010 17:28:52 -0400 |
parents | 7d0254d15b21 |
children | 41484478a32d |