Rev 14857 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 14857 | Rev 15588 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | hex |
52 | hex |
53 | if |
53 | if |
54 | list |
54 | list |
55 | lookup |
55 | lookup |
56 | matrix |
56 | matrix |
57 | random |
57 | random replace |
58 | solve |
58 | solve |
59 | sort |
59 | sort |
60 | texmath text |
60 | texmath text |
61 | cutit |
61 | cutit |
62 |
|
62 | html2iso' |
63 | detag' |
- | |
64 | 63 | ||
65 | for j in $list ; do |
64 | for j in $list ; do |
66 | 65 | ||
67 | $wims_home/src/wims test $wims_dirtest $j vartest> $wims_tmp/$j 2>&1 |
66 | $wims_home/src/wims test $wims_dirtest $j vartest> $wims_tmp/$j 2>&1 |
68 | # echo "$wims_home/src/wims test $wims_dirtest $j vartest"; |
67 | # echo "$wims_home/src/wims test $wims_dirtest $j vartest"; |