log

age author description
Tue, 02 Mar 2010 09:46:17 -0500 Adam Chlipala String.isPrefix
Sun, 28 Feb 2010 15:46:41 -0500 Adam Chlipala Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
Sun, 28 Feb 2010 13:06:10 -0500 Adam Chlipala Changing foldRX to mapX
Sat, 27 Feb 2010 16:49:11 -0500 Adam Chlipala benignEffectful
Sat, 27 Feb 2010 14:57:57 -0500 Adam Chlipala Basic analysis of tag and CSS class usage
Thu, 25 Feb 2010 15:08:52 -0500 Adam Chlipala Normalize URLs to deal with page names that contain apostrophes