version 1.9, 2002/08/10 13:05:06 |
version 1.10, 2003/01/01 02:03:40 |
|
|
/*$OpenXM: OpenXM/rc/asirrc,v 1.8 2002/01/06 08:47:35 takayama Exp $*/ |
/*$OpenXM: OpenXM/rc/asirrc,v 1.9 2002/08/10 13:05:06 takayama Exp $*/ |
load("gr")$ |
load("gr")$ |
load("primdec")$ |
load("primdec")$ |
load("katsura")$ |
load("katsura")$ |
load("bfct")$ |
load("bfct")$ |
load("xm")$ |
load("xm")$ |
load("names.rr")$ |
load("names.rr")$ |
|
load("oxrfc103.rr")$ |
User_asirrc=which(getenv("HOME")+"/.asirrc")$ |
User_asirrc=which(getenv("HOME")+"/.asirrc")$ |
if (type(User_asirrc)!=0) { |
if (type(User_asirrc)!=0) { |
print("Loading ~/.asirrc")$ |
print("Loading ~/.asirrc")$ |