Closed GoogleCodeExporter closed 9 years ago
Done, though refine uses = rather than := since we can now make = a keyword
while still keeping it as the name of a tactic.
http://www.e-pig.org/darcsweb/darcsweb?r=Pig09;a=commit;h=20100909125143-e29d1-3
ca0f0defb0809461d8c9dfe86bdfa0acebfab2c.gz
Original comment by adamgundry
on 9 Sep 2010 at 2:55
Original issue reported on code.google.com by
pedag...@gmail.com
on 7 Sep 2010 at 3:40