version 1.33, 2004/09/10 13:20:22 |
version 1.34, 2004/09/13 11:24:10 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.32 2004/08/31 05:30:20 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.33 2004/09/10 13:20:22 takayama Exp $ |
(hol_loaded) boundp { } |
(hol_loaded) boundp { } |
{ [(parse) (hol.sm1) pushfile] extension } ifelse |
{ [(parse) (hol.sm1) pushfile] extension } ifelse |
%[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
|
|
exit |
exit |
} { } ifelse |
} { } ifelse |
|
|
ans [opt i get opt i 1 add get ] append /ans set |
ans [opt i get opt i 1 add get ] join /ans set |
exit |
exit |
} loop |
} loop |
} for |
} for |