| Thu, 17 Nov 2011 17:19:10 +0100 |
Ron de Bruijn |
Merge |
| Thu, 17 Nov 2011 17:14:44 +0100 |
Ron de Bruijn |
Add read instance for time on the client |
| Wed, 16 Nov 2011 13:51:22 -0430 |
Karn Kallio |
Include character encoding in HTTP response headers. |
| Mon, 14 Nov 2011 09:15:10 -0500 |
Adam Chlipala |
Better error messages about server-side use of client-side functions |
| Mon, 14 Nov 2011 09:02:00 -0500 |
Adam Chlipala |
Fix completely broken manual description of 'view' |
| Sun, 06 Nov 2011 08:14:53 -0500 |
Adam Chlipala |
Remove dummy entity |
| Sat, 05 Nov 2011 15:05:13 -0400 |
Adam Chlipala |
Support the full set of XHTML character entities |
| Sat, 05 Nov 2011 13:12:07 -0400 |
Adam Chlipala |
Tweaks to choices of source positions to use in error messages, including for subSgn |
| Sat, 05 Nov 2011 12:32:20 -0400 |
Adam Chlipala |
Adjust for different ml-lex behavior between SML/NJ and MLton |
| Sat, 05 Nov 2011 11:33:59 -0400 |
Adam Chlipala |
Strengthen consNeq, to avoid unwise unifications |
| Sat, 05 Nov 2011 09:56:52 -0400 |
Adam Chlipala |
Fix confusing error message when record unification fails because enclosed types are incompatible |
| Sat, 05 Nov 2011 09:40:38 -0400 |
Adam Chlipala |
Fix SQL grammar bug in manual |
