Mercurial > urweb

diff src/elab_ops.sml @ 1404:82b204f20026

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Jan 2011 10:40:40 -0500
parents c7b9a33c26c8
children 20f898c29525
line wrap: on
line diff