Slava Pestov ace0c3a15a Doc fixes		2009-09-11 17:59:04 -05:00
..
short-circuit	Doc fixes	2009-09-11 17:59:04 -05:00
smart	Merge branch 'master' of git://factorcode.org/git/factor	2009-08-25 09:33:42 -04:00