Mercurial > urweb
diff src/elab_env.sml @ 691:cc58941da3e2
Checking spans in dyns
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 04 Apr 2009 11:46:24 -0400 |
parents | f0224c7f12bb |
children | 70cbdcf5989b |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 04 Apr 2009 11:46:24 -0400 |
parents | f0224c7f12bb |
children | 70cbdcf5989b |