Mercurial > urweb

comparison src/elab_env.sml @ 1327:1cc67fdac4d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New argument to transactional free functions, to specify whether we are about to retry
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Dec 2010 11:15:20 -0500
parents fdf48f6ba418
children 03642b83b57b
comparison
equal deleted inserted replaced
1326:d91f84599693 1327:1cc67fdac4d3