Mercurial > urweb
diff src/elab_err.sml @ 1754:a1380fc15cb5
Fix bugs in support for 'style' and 'dynStyle'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 06 May 2012 15:46:25 -0400 |
parents | fca4a6d05ac1 |
children | 818d4097e2ed |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 06 May 2012 15:46:25 -0400 |
parents | fca4a6d05ac1 |
children | 818d4097e2ed |