log src/prim.sig

age author description
Fri, 01 Aug 2014 15:44:17 -0400 Adam Chlipala Differentiate between HTML and normal string literals
Mon, 02 Jan 2012 17:08:39 -0500 Adam Chlipala Fix handling of quotes in generating C literals
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations