log

age author description
Wed, 03 Aug 2011 08:15:10 -0400 Adam Chlipala Fix an include path bug
Tue, 02 Aug 2011 16:20:14 -0400 Adam Chlipala Update URL used in RSS test
Mon, 25 Jul 2011 20:55:09 -0430 Karn Kallio Add gather pattern.
Sun, 24 Jul 2011 03:36:07 -0430 Karn Kallio Handle case of finish on self-closing tag.
Tue, 19 Jul 2011 09:29:34 -0400 Adam Chlipala Update to newer Autoconf
Thu, 23 Jun 2011 23:40:29 -0430 Karn Kallio Add variant of children allowing specification of optional matches.
Thu, 09 Jun 2011 12:59:27 -0430 Karn Kallio Add a version of Feed.app which threads state.
Tue, 31 May 2011 09:21:49 -0430 Karn Kallio Add tag combinator with given attribute values.
Sat, 19 Mar 2011 14:35:11 -0400 Adam Chlipala Preparation for first release
Thu, 10 Mar 2011 18:36:50 -0500 Adam Chlipala 'show' instance for 'document'
Sat, 15 Jan 2011 15:25:22 -0500 Adam Chlipala 'O' versions of tagA and children
Thu, 13 Jan 2011 10:02:37 -0500 Adam Chlipala Splitting fetching and traversal into separate functions
Tue, 11 Jan 2011 18:04:15 -0500 Adam Chlipala Feed.tree
Tue, 11 Jan 2011 14:19:51 -0500 Adam Chlipala Shortcut tag combinators
Tue, 11 Jan 2011 14:05:34 -0500 Adam Chlipala String processing optimization