blob: ecb7b7883dc7382929f4efa3d10e41ddfe0cd220 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// 10.04.16
function Texendfor(I)
global TEXFORLEVEL TEXFORLAST
Last=TEXFORLAST(TEXFORLEVEL);
Texcom('');
Texcom('\ifnum'+Texthectr(I)+'<'+Last);
Texcom('\repeat');
Texcom('}');
TEXFORLEVEL=TEXFORLEVEL-1;
TEXFORLAST=Mixsub(1:(length(TEXFORLAST)-1),TEXFORLAST);
endfunction;
|