Rev 14566 | Rev 16552 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 14566 | Rev 15293 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | !if $wims_read_parm=$empty |
1 | !if $wims_read_parm=$empty |
2 | !exit |
2 | !exit |
3 | !endif |
3 | !endif |
4 | 4 | ||
5 | !set pp=!trim $wims_read_parm |
5 | !set pp=!trim $wims_read_parm |
- | 6 | !! useful only (?) in draw for symbols as \RR |
|
6 |
|
7 | !!set pp=!replace internal \\ by ///?/?/?/// in $pp |
7 |
|
8 | !!set pp=!replace internal \ by $$m_ in $pp |
8 |
|
9 | !!set pp=!replace internal ///?/?/?/// by \\ in $pp |
9 | !set pp=!translate internal $ $ to $\ |
10 | !set pp=!translate internal $ $ to $\ |
10 | $ in $pp |
11 | $ in $pp |
11 | !set s_=!line 1 of $pp |
12 | !set s_=!line 1 of $pp |
12 | 13 | ||
13 | !set tmp=!text remove ,0123456789 in $s_ |
14 | !set tmp=!text remove ,0123456789 in $s_ |