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 |
Fri, 05 Dec 2014 19:41:27 -0500 |
Adam Chlipala |
Move code from last changeset, to improve performance |