log

age author description
Mon, 30 Dec 2013 11:01:42 -0500 Adam Chlipala HTTP: continue after accept() failure
Sun, 29 Dec 2013 13:18:50 -0500 Adam Chlipala Compile-time error for periodic tasks in nonpersistent protocols