OpenXM/rc/asirrc - diff

Return to asirrc CVS log

Up to [local] / OpenXM / rc

-version 1.11, 2003/05/18 00:13:14
+version 1.15, 2007/11/21 22:54:25
 Line 1
 Line 1
 Line 1
- /*$OpenXM: OpenXM/rc/asirrc,v 1.10 2003/01/01 02:03:40 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) {
-    print("Loading ~/.asirrc")$
+    if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$
-    load(User_asirrc)$
+    import(User_asirrc)$
- }$
+ }else{ }$
  end$