log tests/dlist.ur

age author description
Sat, 17 Jan 2009 09:47:30 -0500 Adam Chlipala Add dynamic content under proper parents
Fri, 16 Jan 2009 15:49:10 -0500 Adam Chlipala dlist example working
Tue, 13 Jan 2009 15:17:11 -0500 Adam Chlipala Initial experiments with nested <dyn>