]> gitweb.factorcode.org Git - factor.git/history - basis/ui/tools/workspace/workspace.factor
Merge branch 'master' of git://factorcode.org/git/factor
[factor.git] / basis / ui / tools / workspace / workspace.factor
2008-12-12 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-12-07 William SchlieperMerge branch 'master' of git://factorcode.org/git/factor
2008-12-03 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-11-29 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-11-29 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2008-11-29 Slava PestovFix conflict
2008-11-28 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-11-28 Slava PestovMerge branch 'master' into faster_overflow_checks
2008-11-28 Slava PestovRefactoring usages of >r/r> to dip in UI
2008-11-23 Slava PestovMerge branch 'master' into microseconds
2008-11-23 U-WSCHLIEP-PC\wschliepMerge branch 'master' of git://tiodante.com/git/factor
2008-11-22 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-11-21 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-11-21 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-11-21 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2008-11-21 Eduardo CavazosMerge branch 'master' of http://factorcode.org/git...
2008-11-21 Slava PestovUse add-toolbar word in a few places
2008-11-21 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2008-11-20 Eduardo CavazosMerge commit 'factor/master'
2008-11-20 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-11-19 Slava PestovMake limited scrollers more versatile: they now have...
2008-10-16 ergMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-10-16 Doug ColemanMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-10-15 Eduardo CavazosMerge branch 'master' of git://factorcode.org/git/factor
2008-10-07 Alex ChapmanMerge branch 'master' of git://factorcode.org/git/facto...
2008-10-05 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-10-02 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-10-02 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-10-02 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-10-02 Slava PestovFix permission bits
2008-10-02 Alex ChapmanMerge branch 'experimental' into maintenance
2008-10-02 Alex ChapmanMerge branch 'master' into experimental
2008-10-01 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-09-29 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-09-28 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-09-27 Slava PestovFix ridiculous indentation, over (>>foo), and other...
2008-09-12 Alex ChapmanMerge branch 'master' into experimental
2008-09-08 Aaron SchaeferMerge git://projects.elasticdog.com/git/factor into...
2008-09-06 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2008-09-04 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-09-01 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-09-01 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-09-01 Eduardo CavazosUpdate old accessors from ui.tools.*
2008-08-31 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-08-31 Slava PestovMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-08-30 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-08-30 Eduardo CavazosMerge branch 'master' of git://factorcode.org/git/factor
2008-08-30 Eduardo CavazosUse new accessors in place of old accessors from 'ui...
2008-08-19 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2008-08-13 sheepleMerge branch 'master' of git://factorcode.org/git/factor
2008-08-11 Slava PestovMerge branch 'master' of git://factorforge.org/git...
2008-08-11 William SchlieperMerge branch 'master' of git://factorcode.org/git/factor
2008-08-09 Slava PestovMerge branch 'master' of git://factorforge.org/git...
2008-08-08 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Eduardo CavazosMove 'ui' to basis