OpenXM/rc/asirrc - diff

Return to asirrc CVS log

Up to [local] / OpenXM / rc

version 1.13, 2003/12/12 03:04:22

version 1.15, 2007/11/21 22:54:25

Line 1

/*$OpenXM: OpenXM/rc/asirrc,v 1.12 2003/10/19 06:07:45 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("bfct")$

import("katsura")$

load("names.rr")$

import("bfct")$

load("oxrfc103.rr")$

import("names.rr")$

import("oxrfc103.rr")$

User_asirrc=which(getenv("HOME")+"/.asirrc")$

if (type(User_asirrc)!=0) {

if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$

load(User_asirrc)$

import(User_asirrc)$

}else{ }$

end$