Mercurial > urweb

log tests/policy.ur

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -3 tip
age author description
Sun, 04 Apr 2010 17:11:22 -0400 Adam Chlipala Parsed a WHERE clause
Sun, 04 Apr 2010 16:44:34 -0400 Adam Chlipala Relax checking of table implications
Sun, 04 Apr 2010 16:17:23 -0400 Adam Chlipala Iflow tested with positive and negative cases
less more | (0) -3 tip