Mercurial > urweb

comparison src/elab_env.sml @ 1665:f9ffe8497742

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix channel delivery to handle sending of messages for channels whose clients haven't connected yet
author Adam Chlipala <adam@chlipala.net>
date Sun, 08 Jan 2012 15:47:05 -0500
parents 6c00d8af6239
children fca4a6d05ac1
comparison
equal deleted inserted replaced
1664:a12186d99e4f 1665:f9ffe8497742