Subversion Repositories wimsdev

Rev

Rev 3866 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3866 Rev 5763
Line 43... Line 43...
43 
 !set random1=!randint 1,10^6
 43 
 !set random1=!randint 1,10^6
44 
 !set random2=!randint 1,10^6
 44 
 !set random2=!randint 1,10^6
45 
 !set random=$random1.$random2
 45 
 !set random=$random1.$random2
46 
 [
 46 
 [
47 
 !href cmd=help&help_subject=status&special_parm=$random status of the exercise
 47 
 !href cmd=help&help_subject=status&special_parm=$random status of the exercise
48 
 ]</small> <br>
 48 
 ]</small> <br/>
49 
!set n_=!linecnt $m_context
 49 
!set n_=!linecnt $m_context
50 
!reset l_,t_
 50 
!reset l_,t_
51 
!if $n_>10 and prf/cleanhyp notitemof $mthlist
 51 
!if $n_>10 and prf/cleanhyp notitemof $mthlist
52 
 !set l_=,prf/cleanhyp
 52 
 !set l_=,prf/cleanhyp
53 
 !set t_=,Erase useless hypotheses
 53 
 !set t_=,Erase useless hypotheses
54 
!endif
 54 
!endif
55 
!formselect method list -,$mthlist$l_ prompt $ch_choose,$mtitles$t_
 55 
!formselect method list -,$mthlist$l_ prompt $ch_choose,$mtitles$t_
56 
<input type="submit" value="Continue">
 56 
<input type="submit" value="Continue"/>
57 
 
 57 
 
58 
</form>
 58 
</form>
59 
 
 59