OpenXM/rc/asirrc - view

Return to asirrc CVS log

Up to [local] / OpenXM / rc

File: [local] / OpenXM / rc / asirrc (download)

Revision 1.15, Wed Nov 21 22:54:25 2007 UTC (16 years, 5 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, HEAD
Changes since 1.14: +9 -9 lines

load --> import

/*$OpenXM: OpenXM/rc/asirrc,v 1.15 2007/11/21 22:54:25 takayama Exp $*/
import("contrib-setord.rr")$
import("gr")$
import("primdec")$
import("katsura")$
import("bfct")$
import("names.rr")$
import("oxrfc103.rr")$
User_asirrc=which(getenv("HOME")+"/.asirrc")$
if (type(User_asirrc)!=0) {
   if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$
   import(User_asirrc)$
}else{ }$
end$