http://hg.impredicative.com/urweb/atom-log/tip/tests/policy2.urpUr/Web: tests/policy2.urp history2010-04-13T16:30:46-04:00Completely redid main Iflow logic; so far, policy and policy2 workhttp://hg.impredicative.com/urweb/#changeset-d5ecceb7d1a17b5ab4e6dbfed4924109c647447dAdam Chlipalaadamc@hcoop.net2010-04-13T16:30:46-04:002010-04-13T16:30:46-04:00
changeset
d5ecceb7d1a1
branch
bookmark
tag
user
Adam Chlipala <adamc@hcoop.net>
description
Completely redid main Iflow logic; so far, policy and policy2 work