Mercurial > urweb

comparison src/elab_env.sml @ 1451:b6ce8ef0ea88

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Before allowing an indirect return, check (dynamically, for now) that we aren't in an RPC handler
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Apr 2011 13:43:00 -0400
parents fdf48f6ba418
children 03642b83b57b
comparison
equal deleted inserted replaced
1450:d40104c112df 1451:b6ce8ef0ea88