dreal tty?? Nov 23 11:47 alliance/sources/dreal GMC_panel.c GME_panel.c GMX_color.c GSB.h GSB_share.c dreal.c Mon Nov 23 11:47:55 MET 1998 Update of /users/outil1/alliance/cvsroot/alliance/sources/dreal In directory trash:/users/outil1/dreal/alliance/sources/dreal Modified Files: GMC_panel.c GME_panel.c GMX_color.c GSB.h GSB_share.c dreal.c Log Message: Ajout de l'option -xor (comme pour graal)