Pharo-dev

By message
pharo-dev@lists.pharo.org

  • 1 participants
  • 37340 discussions

July 24, 2018

July 24, 2018
[Pharo 7.0-dev] Build #1128: 22277-nextNameForextension-is-bogus
by ci-pharo-ci-jenkins2@inria.fr July 24, 2018

July 24, 2018
Esteban's ChangeLog week of 16 July 2018
by estebanlm@gmail.com July 23, 2018

July 23, 2018
Problem with zinc 2.9.2
by Norbert Hartl July 22, 2018

July 22, 2018
6 47
0 0
[PROPOSAL] Put the WorldMenu in a Menu bar
by Cyril Ferlicot D. July 22, 2018

July 22, 2018
12 26
0 0

July 18, 2018