diff .hgtags @ 2048:177398c6147d

Added unique concrete subtype assumption.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Mon, 10 Jan 2011 10:50:22 +0100
parents 09d92cbb793b
children f6a707dbaddb
line wrap: on
line diff