Mercurial > urweb

comparison src/elab_util.sig @ 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 d28adceef22a
children 1091227f535a
comparison
equal deleted inserted replaced
1840:146ec8e90063 1841:184d00f7be74