| Sat, 18 Jan 2014 18:26:24 -0500 |
Patrick Hurst |
Merge in upstream changes. |
| Thu, 05 Dec 2013 11:36:54 -0500 |
Patrick Hurst |
Day of week functions. |
| Thu, 05 Dec 2013 11:36:06 -0500 |
Patrick Hurst |
Add basic year/month/day/hour/minute/second <-> time functions. |
| Thu, 09 Jan 2014 17:27:24 -0500 |
Adam Chlipala |
Add 'html5' .urp directive |
| Tue, 31 Dec 2013 09:34:41 -0500 |
Adam Chlipala |
Do a bit of extra userspace copying to send HTTP response with a single system call |
| Fri, 27 Dec 2013 12:30:44 -0500 |
Adam Chlipala |
Change where a transaction is marked finished, to avoid forgetting to rollback a failed transaction |
| Fri, 27 Dec 2013 12:10:03 -0500 |
Adam Chlipala |
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs |
| Wed, 25 Dec 2013 13:11:43 -0500 |
Adam Chlipala |
Tweaking handling of database transactions |
