OpenXM/rc/asirrc - diff

Return to asirrc CVS log

Up to [local] / OpenXM / rc

-version 1.6, 2000/01/21 01:22:39
+version 1.15, 2007/11/21 22:54:25
 Line 1
 Line 1
 Line 1
- /*$OpenXM: OpenXM/rc/asirrc,v 1.5 2000/01/21 00:47:09 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) {
-    print("Loading ~/.asirrc")$
+    if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$
-    load(User_asirrc)$
+    import(User_asirrc)$
- }
+ }else{ }$
  end$