log

age author description
Fri, 24 Oct 2008 17:30:07 -0400 Adam Chlipala Properly freeing libpq results on errors
Fri, 24 Oct 2008 16:47:18 -0400 Adam Chlipala Transactions seem to be working
Fri, 24 Oct 2008 16:13:53 -0400 Adam Chlipala Stop including functors in paths
Thu, 23 Oct 2008 18:45:10 -0400 Adam Chlipala Crud2 demo
Thu, 23 Oct 2008 18:18:51 -0400 Adam Chlipala Crud demo
Thu, 23 Oct 2008 17:52:04 -0400 Adam Chlipala Prose for Ref and Metaform
Thu, 23 Oct 2008 17:35:10 -0400 Adam Chlipala Fix bug with bringing functor argument instances into scope; Ref demo, minus prose
Thu, 23 Oct 2008 14:03:12 -0400 Adam Chlipala Metaform demos, minus prose
Thu, 23 Oct 2008 12:58:35 -0400 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
Thu, 23 Oct 2008 11:59:48 -0400 Adam Chlipala Counter demo
Thu, 23 Oct 2008 11:38:31 -0400 adamc Add newline at end of file
Thu, 23 Oct 2008 11:13:11 -0400 Adam Chlipala sml-util -> urweb-util
Tue, 21 Oct 2008 19:56:20 -0400 Adam Chlipala Sum prose
Tue, 21 Oct 2008 19:31:11 -0400 Adam Chlipala Infering sum rows
Tue, 21 Oct 2008 19:24:39 -0400 Adam Chlipala Sum demo, minus inference of {Unit}s
Tue, 21 Oct 2008 18:44:52 -0400 Adam Chlipala Sql demo
Tue, 21 Oct 2008 17:49:14 -0400 Adam Chlipala Note about demo.sql
Tue, 21 Oct 2008 17:44:03 -0400 Adam Chlipala ListShop prose
Tue, 21 Oct 2008 17:34:20 -0400 Adam Chlipala Rec demo
Tue, 21 Oct 2008 17:30:06 -0400 Adam Chlipala Form example
Tue, 21 Oct 2008 17:12:22 -0400 Adam Chlipala Hello prose
Tue, 21 Oct 2008 17:02:03 -0400 Adam Chlipala Intro prose
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling
Tue, 21 Oct 2008 15:11:42 -0400 Adam Chlipala Recursive unurlify for Default datatypes