Tue, 21 Apr 2009 11:11:04 -0700 | huffman | use Sign.add_consts instead of ContConsts.add_consts | changeset | files |
Tue, 21 Apr 2009 06:44:14 -0700 | huffman | merged | changeset | files |
Mon, 20 Apr 2009 17:38:25 -0700 | huffman | allow infix declarations for type constructors defined with domain package | changeset | files |