Subversion Repositories wimsdev

Rev

Rev 17055 | Blame | Compare with Previous | Last modification | View Log | RSS feed

  1. !if $currstep=1 and $m_context!=$empty
  2.   <p>
  3.   $name_status_hyp: {
  4.   !set n=!linecnt $m_context
  5.   !for i=1 to $n
  6.     !set l=!line $i of $m_context
  7.     !insmath $l
  8.     !if $i<$n
  9.       ;
  10.     !endif
  11.    !next i
  12.   } </p>
  13. !else
  14.   !set t__=!word 1 of $newObject
  15.   !distribute item <,>,= into lt,gt,eq
  16.   !if $t__ = $gt
  17.     !set l=!char 3 to -1 of $newObject
  18.     !set l=!replace internal $\
  19. $> by , in $l
  20.     <p>
  21.     $name_status_newhyp:
  22.     !insmath $l
  23.     </p>
  24.   !endif
  25.   !if $currstep>1 and $t__ notwordof $lt $gt and $newObject!=$empty
  26.     <p>
  27.     $name_status_now
  28.     !insmath $newObject
  29.     </p>
  30.   !endif
  31. !endif
  32.  
  33. !if $m_goal!=$empty and $status=waiting
  34.   !set n=!linecnt $m_goal
  35.   <p>
  36.   $name_toprove: {
  37.   !for i=1 to $n
  38.     !set l=!line $i of $m_goal
  39.     !insmath $l
  40.     !if $i<$n
  41.       ;
  42.     !endif
  43.   !next i
  44.   }
  45.   </p>
  46. !endif
  47.