log

age author description
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