version 1.38, 2004/09/14 10:50:49 |
version 1.39, 2004/09/14 11:51:20 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.37 2004/09/14 08:30:47 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.38 2004/09/14 10:50:49 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 |
|
|
popVariables |
popVariables |
/arg1 |
/arg1 |
} def |
} def |
/ecart.checkOrder.noglobal { |
/ecart.checkOrder.noGlobal { |
/arg1 set |
/arg1 set |
[/vv /tt /dd /n /i] pushVariables |
[/vv /tt /dd /n /i] pushVariables |
[ |
[ |