log src/compiler.sig

age author description
Sat, 06 Mar 2010 19:14:48 -0500 Adam Chlipala Got split1 working, but noticed a nasty type inference bug with transplanted unification variables
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, 11 Feb 2010 09:10:01 -0500 Adam Chlipala sigfile directive
Thu, 24 Dec 2009 16:35:09 -0500 Adam Chlipala Module roots
Thu, 24 Dec 2009 15:49:52 -0500 Adam Chlipala Convenience libifying; allow more NULLs with globals
Tue, 22 Dec 2009 15:29:38 -0500 Adam Chlipala Alternate job-parsing interface, to avoid merging library directives