==================================================================== Modification le : Tue Feb 22 18:29:01 MET 2000 -rw-r--r-- 1 czo alliance 2756 Feb 22 17:09 /asim/alliance/etc/alc_env.csh ==================================================================== diff /asim/alliance/etc/alc_env.csh /asim/alliance/etc/orig/alc_env.csh 0a1 > # -*- Mode: Shell-script -*- 8,9c9,10 < # $Id: alc_env.csh.in,v 1.11 2000/02/11 15:43:27 czo Exp $ < # Generated from alc_env.csh.in on Tue Feb 22 17:09:29 MET 2000 --- > # $Id: alc_env.csh.in,v 1.10 1999/11/22 15:43:10 czo Exp $ > # Generated from alc_env.csh.in on Mon Nov 22 18:46:05 MET 1999 96a98,102 > setenv DREAL_TECHNO_NAME $ALLIANCE_TOP/etc/cmos_7.dreal > setenv GRAAL_TECHNO_NAME $ALLIANCE_TOP/etc/cmos_7.graal > > setenv RDS_TECHNO_NAME $ALLIANCE_TOP/etc/cmos_8.rds > 100,105c106 < setenv DREAL_TECHNO_NAME $ALLIANCE_TOP/etc/cmos_7.dreal < setenv GRAAL_TECHNO_NAME $ALLIANCE_TOP/etc/cmos_11.graal < setenv GENVIEW_TECHNO_NAME $ALLIANCE_TOP/etc/cmos_11.genview < < setenv RDS_TECHNO_NAME $ALLIANCE_TOP/etc/cmos_11.rds < setenv ELP_TECHNO_NAME $ALLIANCE_TOP/etc/prol10_11.elp --- > setenv ELP_TECHNO_NAME $ALLIANCE_TOP/etc/prol10.elp 113a115 > 117c119 < setenv MANPATH $ALLIANCE_TOP/man:/usr/share/man:/usr/man:/usr/local/man:/usr/X11R6/man:/usr/lib/perl5/man --- > setenv MANPATH $ALLIANCE_TOP/man ==================================================================== Ce message est envoyé au personnes abonnées à alliance-programmers Pour plus d'information sur cette mailling-list, visitez : http://asim.lip6.fr/alliance/mailing-lists/