Mercurial > urweb

comparison src/elab_env.sml @ 1254:935a981f4380

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 May 2010 13:57:01 -0400
parents c316ca3c9ec6
children 56bd4a4f6e66
comparison
equal deleted inserted replaced
1198:b52929351402 1254:935a981f4380
1621 val t = (CModProj (tn, [], "css_class"), loc) 1621 val t = (CModProj (tn, [], "css_class"), loc)
1622 in 1622 in
1623 pushENamedAs env x n t 1623 pushENamedAs env x n t
1624 end 1624 end
1625 | DTask _ => env 1625 | DTask _ => env
1626 | DPolicy _ => env
1626 1627
1627 end 1628 end