Return to all.k CVS log

Up to [local] / OpenXM / src / k097 / lib

Annotation of OpenXM/src/k097/lib/all.k, Revision 1.1

1.1     ! takayama    1: /* $OpenXM$ */
        !             2: /* Call this module with load["lib/all.k"];;
        !             3: */
        !             4:
        !             5: NoX=1;
        !             6: load["lib/restriction/restriction.k"];;
        !             7: load("lib/ox/ox.k");;
        !             8: load["lib/restriction/deRham.k"];;
        !             9: