Mercurial > urweb
log
age | author | description |
---|---|---|
Mon, 02 Jan 2012 17:08:39 -0500 | Adam Chlipala | Fix handling of quotes in generating C literals |
Mon, 02 Jan 2012 16:54:18 -0500 | Adam Chlipala | Adapt Monoize serialization to handle freshly created variant types |