log lib/ur/top.urs

age author description
Sat, 20 Nov 2010 10:45:22 -0500 Adam Chlipala queryL1 and List.sort
Thu, 25 Mar 2010 15:44:24 -0400 Adam Chlipala Subquery expressions
Thu, 04 Mar 2010 13:47:16 -0500 Adam Chlipala Louder jscomp; toUpper/Lower fix for JavaScript
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, 02 Jan 2010 13:31:59 -0500 Adam Chlipala Proper 404 generation
Sat, 26 Dec 2009 11:56:40 -0500 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications