log lib/ur/basis.urs

age author description
Thu, 23 Dec 2010 11:23:31 -0500 Adam Chlipala Recursive record unification errors, for more detail
Tue, 21 Dec 2010 18:01:23 -0500 Adam Chlipala Basis.cdataChar
Tue, 21 Dec 2010 17:01:51 -0500 Adam Chlipala Allow SQL aggregation over nullable types
Sat, 18 Dec 2010 15:17:09 -0500 Adam Chlipala Periodic tasks
Sat, 18 Dec 2010 14:17:45 -0500 Adam Chlipala Change tasks to support parametric code; add clientLeaves
Sat, 18 Dec 2010 10:56:31 -0500 Adam Chlipala postBody type
Sun, 05 Sep 2010 14:00:57 -0400 Adam Chlipala tryDml
Sun, 05 Sep 2010 12:50:06 -0400 Adam Chlipala Support multiple CSS classes for a single tag