diff README @ 5473:c73882b7db10

runtime may be null in the canonicalizer (like target or assumptions)
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 31 May 2012 17:57:21 +0200
parents a61af66fc99e
children
line wrap: on
line diff