OpenXM/rc/asirrc - diff

Return to asirrc CVS log

Up to [local] / OpenXM / rc

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