Mercurial > urweb
diff src/elab_util.sml @ 951:103ac1792c41
Make filter argument to render, not create
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Sep 2009 14:27:00 -0400 |
parents | b2413e4dd109 |
children | b2311dfb3158 |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Sep 2009 14:27:00 -0400 |
parents | b2413e4dd109 |
children | b2311dfb3158 |