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 |
Sun, 07 Feb 2010 09:51:41 -0500 |
Adam Chlipala |
Fix .urp parsing for real |
Sun, 07 Feb 2010 09:38:27 -0500 |
Adam Chlipala |
Fix detection of blank lines in .urp |
Sun, 07 Feb 2010 09:14:06 -0500 |
Adam Chlipala |
Remove debug prints |