| 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 |
| Sat, 06 Dec 2014 15:26:56 -0500 |
Adam Chlipala |
New release |
