Alexander Iljin 0637557cca *-docs: remove extra space character at the end of paragraghs		2018-08-21 10:45:52 -07:00
..
authors.txt	successor: new vocab.	2016-04-28 20:51:39 -07:00
successor-docs.factor	*-docs: remove extra space character at the end of paragraghs	2018-08-21 10:45:52 -07:00
successor-tests.factor	extra: remove some unneeded IN: in -tests.	2018-02-14 17:01:11 -08:00
successor.factor	successor: new vocab.	2016-04-28 20:51:39 -07:00