Mercurial > urweb

annotate demo/constraints.urs @ 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 74a090ff296e
children
rev   line source
adamc@773 1 val main : unit -> transaction page