Pharo-dev

By thread
pharo-dev@lists.pharo.org

May 2018

  • 485 messages
[Pharo 7.0-dev] Build #991: 21999-New-taskbar-design-proposal
by ci-pharo-ci-jenkins2@inria.fr
May 30, 2018
[Pharo 7.0-dev] Build #990: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by ci-pharo-ci-jenkins2@inria.fr
May 30, 2018
Re: [Pharo-dev] [ANN] VM for Pharo 6.1 updated
by Esteban Lorenzano
May 30, 2018
[Pharo 7.0-dev] Build #989: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by ci-pharo-ci-jenkins2@inria.fr
May 30, 2018
Re: [Pharo-dev] [ANN] VM for Pharo 6.1 updated
by Norbert Hartl
May 30, 2018
[Pharo 7.0-dev] Build #988: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by ci-pharo-ci-jenkins2@inria.fr
May 30, 2018
Re: [Pharo-dev] [Pharo 7.0-dev] Build #987: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by Marcus Denker
May 30, 2018
[Pharo 7.0-dev] Build #987: 21928-Remove-PluggableButtonMorph-option-to-use-gradient-since-its-not-used-and-style-it-decided-by-the-theme
by ci-pharo-ci-jenkins2@inria.fr
May 30, 2018
[ANN] VM for Pharo 6.1 updated
by Esteban Lorenzano
May 30, 2018
[Pharo 7.0-dev] Build #986: 22011-Bootstrap-should-be-more-robust
by ci-pharo-ci-jenkins2@inria.fr
May 30, 2018