Tue, 23 Dec 2014 14:41:23 -0500 |
Adam Chlipala |
List.mem |
Tue, 23 Dec 2014 13:42:20 -0500 |
Adam Chlipala |
Improve wildify heuristic for finding record type-class witnesses |
Tue, 23 Dec 2014 12:24:38 -0500 |
Adam Chlipala |
New antiquote syntax for ORDER BY |
Tue, 23 Dec 2014 11:23:27 -0500 |
Adam Chlipala |
Another try at a proper fix for constraint matching in subsignature checking |
Sun, 21 Dec 2014 13:20:11 -0500 |
Adam Chlipala |
Compatibility fix in header file |
Thu, 18 Dec 2014 07:48:37 -0500 |
Adam Chlipala |
Fix XML syntax for closing <input> tags |
Sat, 06 Dec 2014 15:45:41 -0500 |
Adam Chlipala |
Return to working version mode |