log demo/hello.urs

age author description
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 11:08:00 -0400 Adam Chlipala hello compiles with CSS
Sun, 19 Oct 2008 12:47:10 -0400 Adam Chlipala Proper configuration and installation