[Olpc-france] DrGeo Pre-release 11.12e

[Hilaire Fernandes]

Depuis votre dernière installation de DrGeo, vous pouvez mettre à jour
vers la version 11.12e (http://www.ofset.org/drgeo).
Pour ce faire, dans le menu de l'environnement DrGeo, choisir "update
DrGeo, puis sauvegarder la session pour rendre la mise a jour permanente.

Des retours et rapports de bugs sont appréciés avant la version finale
en décembre.

Hilaire

NOUVELLES FONCTIONS
#13607 Les segments peuvent être marqués avec l'un des cinq symboles
proposés
#13589 La nature des points (intersection, libre, sur ligne) est
modifiable en mode sélection avec la touche [Shift]