Mercurial > urweb

diff src/elab_env.sml @ 1344:660a2715e2bd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Clarify that you aren't supposed to be able to create new XML tags
author Adam Chlipala <adam@chlipala.net>
date Thu, 16 Dec 2010 10:23:37 -0500
parents fdf48f6ba418
children 03642b83b57b
line wrap: on
line diff