| Sat, 29 Sep 2012 10:34:11 -0400 |
Adam Chlipala |
Simplify Reddit example moredefault tip |
| Sat, 29 Sep 2012 10:32:44 -0400 |
Adam Chlipala |
Simplify Reddit example |
| Sat, 29 Sep 2012 10:30:00 -0400 |
Adam Chlipala |
tagAOR and a Reddit example of using it |
| Sat, 23 Jun 2012 09:58:31 -0400 |
Adam Chlipala |
Regenerate Autotools files myself with Ron's patch |
| Sun, 17 Jun 2012 20:41:54 +0200 |
Ron de Bruijn |
Parallel builds |
| Wed, 26 Oct 2011 09:12:37 -0400 |
Adam Chlipala |
Upgrade ltmain.sh |
| Wed, 26 Oct 2011 09:11:22 -0400 |
Adam Chlipala |
Check in aclocal.m4 |
| 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 |
| Tue, 11 Jan 2011 13:17:44 -0500 |
Adam Chlipala |
Outputting a summary of Marginal Revolution RSS feed |
| Tue, 11 Jan 2011 10:31:48 -0500 |
Adam Chlipala |
Fetched a URL |
