]> gitweb.factorcode.org Git - factor.git/history - extra/bootstrap/tools/tools.factor
Merge branch 'master' of git://factorcode.org/git/factor
[factor.git] / extra / bootstrap / tools / tools.factor
2008-07-09 Bruno DeferrariMerge branch 'master' of tizoc@tiodante.com:/git/factor
2008-07-07 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-07-05 Joe GroffMerge git://repo.or.cz/factor/jcg
2008-07-05 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-07-04 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-07-03 Slava PestovFix conflict
2008-07-03 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-07-02 Slava PestovMove mirrors out of the boot image
2008-04-28 Alex ChapmanMerge branch 'graphs' into experimental
2008-04-09 Alex ChapmanMerge branch 'tangle' into bank
2008-03-22 Matthew WillisMerge branch 'master' of git://factorcode.org/git/factor
2008-03-19 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-03-19 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-03-20 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-03-18 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2008-03-16 Alex ChapmanMerge branch 'master' of http://factorcode.org/git...
2008-03-16 Eduardo CavazosMerge branch 'master' of git://factorcode.org/git/factor
2008-03-16 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-03-16 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-03-16 Slava PestovFixing deployment
2008-03-16 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-03-16 Alex ChapmanMerge branch 'master' of git://factorcode.org/git/facto...
2008-03-14 Matthew WillisMerge branch 'master' of git://factorcode.org/git/factor
2008-03-13 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-03-13 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/facto...
2008-03-13 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-03-13 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-03-13 Slava PestovLoad vocab browser
2008-03-13 Slava PestovMerge branch 'master' of git://factorcode.org/git/wrunt
2008-03-13 Slava Pestovtools.vocabs absorbs some words from tools.browser...
2008-03-04 Alex ChapmanMerge branch 'experimental' into morse, and fix morse
2008-03-04 Alex ChapmanMerge branch 'master' of http://factorcode.org/git...
2008-02-29 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2008-02-25 Slava PestovMerge git://double.co.nz/git/factor
2008-02-21 Daniel EhrenbergMerge branch 'slava/master' into unicode
2008-02-21 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-02-21 Alex ChapmanMerge branch 'master' into semantic-db
2008-02-21 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-02-19 Eduardo CavazosMerge git://factorcode.org/git/factor
2008-02-19 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-02-18 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-02-18 Slava PestovWorking on new threads
2008-02-18 Alex ChapmanMerge branch 'master' into semantic-db
2008-02-18 Alex ChapmanMerge branch 'master' into experimental
2008-02-16 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-02-16 Daniel EhrenbergMerge branch 'master' into unicode
2008-02-16 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-02-16 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2008-02-16 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-02-15 sheepleMerge branch 'master' of git://factorcode.org/git/factor
2008-02-15 Slava PestovMinor tweaks
2008-01-28 Doug ColemanMerge git://factorcode.org/git/factor
2008-01-16 Chris DoubleMerge commit 'chris/master'
2008-01-09 Daniel EhrenbergMerge commit 'slava/master' into unicode
2008-01-09 Slava PestovMerge commit 'littledan/master'
2008-01-09 Slava PestovMerge branch 'master' of http://littledan.onigirihouse...
2008-01-07 Aaron SchaeferMerge branch 'master' of git://onigirihouse.com/git...
2008-01-07 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2008-01-06 Slava PestovFix conflicts
2008-01-06 Slava PestovFix conflict
2008-01-06 Slava PestovMore circularity fixes
2008-01-01 Slava PestovRemove redundant tools.walker vocab
2007-12-29 Slava PestovGet bootstrap.tools to load, update extra/ for USE...
2007-11-29 Daniel EhrenbergMerge branch 'planet'
2007-11-28 Daniel EhrenbergMerge branch 'planet'
2007-11-14 Slava PestovMerge commit 'erg/master'
2007-11-09 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2007-11-08 Doug ColemanMerge git://factorcode.org/git/factor
2007-11-08 Doug ColemanMerge git://factorcode.org/git/factor
2007-11-08 Slava PestovMove some vocabs from core/bootstrap to extra/bootstrap