dreal tty?? Aug 9 18:36 alliance/sources/dreal GMV_panel.h GMX_color.c GMX_color.h Mon Aug 9 18:36:27 MET DST 1999 Update of /users/outil1/alliance/cvsroot/alliance/sources/dreal In directory trash:/users/outil1/dreal/alliance/sources/dreal Modified Files: GMV_panel.h GMX_color.c GMX_color.h Log Message: Ajout de pattern pour dessiner les rectangles