Rev 8167 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8167 | Rev 16117 | ||
---|---|---|---|
Line 11... | Line 11... | ||
11 | score.\ |
11 | score.\ |
12 | </p> |
12 | </p> |
13 | !set N_=!linecnt $m_context |
13 | !set N_=!linecnt $m_context |
14 | 14 | ||
15 | !if $wims_read_parm iswordof form check |
15 | !if $wims_read_parm iswordof form check |
16 | !goto $wims_read_parm |
16 | !goto $wims_read_parm |
17 | !endif |
17 | !endif |
18 | 18 | ||
19 | !if $N_<1 |
19 | !if $N_<1 |
20 | !set error1=Il n'y a plus d'hypothèse dans l'état actuel ! |
20 | !set error1=Il n'y a plus d'hypothèse dans l'état actuel ! |
21 | !endif |
21 | !endif |
22 | 22 | ||
23 | !exit |
23 | !exit |
24 | :form |
24 | :form |
25 |
|
25 | $methhelp |
26 |
|
26 | <p> |
27 |
|
27 | Voici les hypothèses actuelles. Marquez celles que vous voulez enlever. |
28 |
|
28 | </p><ul> |
29 |
|
29 | !for i=1 to $N_ |
30 | !set l=!line $i of $m_context |
30 | !set l=!line $i of $m_context |
31 | <li> <input type="checkbox" name="methparm1" value="$i" /> \($l) </li> |
31 | <li> <input type="checkbox" name="methparm1" value="$i" /> \($l) </li> |
32 |
|
32 | !next i |
33 | </ul> |
33 | </ul> |
34 | !exit |
34 | !exit |
35 | :check |
35 | :check |
36 |
|
36 | !reset newobject,oldobject |
37 |
|
37 | n_=!itemcnt $methparm1 |
38 |
|
38 | !if $n_=0 |
39 | methexp=Etape vide |
39 | methexp=Etape vide |
40 | !exit |
40 | !exit |
41 |
|
41 | !endif |
42 |
|
42 | nc= |
43 |
|
43 | !for i=1 to $N_ |
44 | !if $i notitemof $methparm1 |
44 | !if $i notitemof $methparm1 |
45 | l=!line $i of $m_context |
45 | l=!line $i of $m_context |
46 | nc=!append line $l to $nc |
46 | nc=!append line $l to $nc |
47 | !endif |
47 | !endif |
48 |
|
48 | !next i |
49 |
|
49 | m_context=$nc |
50 |
|
50 | !read deduc/objects.combine |
51 |
|
51 | methexp=Effacer $n_ hypothèses |
52 | 52 | ||
53 | !exit |
53 | !exit |
54 | - |