Mercurial > urweb
diff src/elab.sml @ 1075:0657e5adc938
Convert to task syntax
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 15 Dec 2009 10:19:05 -0500 |
parents | b2311dfb3158 |
children | c316ca3c9ec6 |
line wrap: on
line diff
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 15 Dec 2009 10:19:05 -0500 |
parents | b2311dfb3158 |
children | c316ca3c9ec6 |