log

age author description
Tue, 09 Feb 2010 17:00:31 -0500 Adam Chlipala Set additional request headers for POST RPCs
Tue, 09 Feb 2010 09:51:21 -0500 Adam Chlipala Update manual with Gian's experience building in OS X
Sun, 07 Feb 2010 16:13:09 -0500 Adam Chlipala Expand 'row types' in first paragraph of manual
Sun, 07 Feb 2010 15:50:13 -0500 Adam Chlipala Tiny Makefile fix for sed style/compatibility