Mercurial > urweb

diff src/elab_env.sml @ 169:2232ab355f66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Took more advantage of new ability to exit with an error message
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 16:02:02 -0400
parents 06a98129b23f
children c7a6e6dbc318
line wrap: on
line diff