diff src/elab_env.sml @ 2121:f89be9cd2087

Support 'dynClass' and 'dynStyle' for <body>
author Adam Chlipala <adam@chlipala.net>
date Tue, 03 Mar 2015 15:55:00 -0500
parents 834b438d57f3
children 22117edf8fd3
line wrap: on
line diff