log tests/crud1.ur

age author description
Sat, 04 Oct 2008 19:56:59 -0400 Adam Chlipala Improved inference of records of tuples
Sat, 04 Oct 2008 16:15:13 -0400 Adam Chlipala Use checkbox in CRUD example
Sun, 14 Sep 2008 19:03:55 -0400 Adam Chlipala Crud update form