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, 7 months ago) by takayama
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$