Slava Pestov 726bcb6a0b Merge branch 'master' of git://factorcode.org/git/factor		2008-06-25 03:25:23 -05:00
..
strings	Update code for combinators.short-circuit	2008-06-24 13:47:54 -05:00
tortoise	Update code for combinators.short-circuit	2008-06-24 13:47:54 -05:00
ui	Merge branch 'master' of git://factorcode.org/git/factor	2008-06-25 03:25:23 -05:00
authors.txt	…
summary.txt	…
tags.txt	…