Return to asirrc CVS log

Up to [local] / OpenXM / rc

Annotation of OpenXM/rc/asirrc, Revision 1.2

1.1       takayama    1: load("gr")$
                      2: load("primdec")$
1.2     ! takayama    3: load("xm")$
1.1       takayama    4: end$
                      5: