version 1.4, 2000/01/16 06:08:53 |
version 1.15, 2007/11/21 22:54:25 |
|
|
/*$OpenXM: OpenXM/rc/asirrc,v 1.3 1999/12/15 05:54:23 takayama Exp $*/ |
/*$OpenXM: OpenXM/rc/asirrc,v 1.14 2005/07/29 07:44:53 takayama Exp $*/ |
load("gr")$ |
import("contrib-setord.rr")$ |
load("primdec")$ |
import("gr")$ |
load("katsura")$ |
import("primdec")$ |
load("xm")$ |
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$ |
end$ |
|
|