Fri, 14 Mar 2014 10:08:33 +0100 | blanchet | document the new 'nonexhaustive' option (cf. 52e8f110fec3) | changeset | files |
Fri, 14 Mar 2014 09:56:06 +0100 | blanchet | made SML/NJ happier | changeset | files |
Fri, 14 Mar 2014 02:54:00 +0100 | panny | print warning if some constructors are missing; | changeset | files |