Mercurial > urweb

annotate demo/nested.urs @ 1092:6f4b05fc4361

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catch attempts to mention multiple versions of the same rooted module
author Adam Chlipala <adamc@hcoop.net>
date Fri, 25 Dec 2009 10:48:02 -0500
parents d4a81273d4b1
children
rev   line source
adamc@455 1 val main : unit -> transaction page