Mercurial > urweb

comparison src/elab_util.sml @ 1841:184d00f7be74

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add more HTML singleton tags, anticipating that others may make them available via the FFI
author Adam Chlipala <adam@chlipala.net>
date Mon, 31 Dec 2012 09:04:35 -0500
parents bb942416bf1c
children 1aa9629e3a4c
comparison
equal deleted inserted replaced
1840:146ec8e90063 1841:184d00f7be74