log lib/basis.lig

age author description
Tue, 22 Jul 2008 19:12:25 -0400 Adam Chlipala gform in proper order
Sun, 20 Jul 2008 12:21:30 -0400 Adam Chlipala Form submission type-checking
Sun, 20 Jul 2008 11:33:23 -0400 Adam Chlipala Initial form support
Sun, 20 Jul 2008 10:40:25 -0400 Adam Chlipala A simpler context encoding
Sun, 20 Jul 2008 10:11:16 -0400 Adam Chlipala Form binding parameters threaded through
Sun, 13 Jul 2008 16:11:25 -0400 Adam Chlipala Proper handling of non-function-call links
Sun, 13 Jul 2008 11:43:57 -0400 Adam Chlipala Starting with closure links